Update SecurityPkg package version to 0.94.

[mirror_edk2.git] / ArmPkg / ArmPkg.dec

diff --git a/ArmPkg/ArmPkg.dec b/ArmPkg/ArmPkg.dec
index 14f16b85169a4d845503057185fc8aa5c8bca4b7..a8ca28fccc820d93e7d4e565ef084fa6630860ac 100644 (file)
--- a/ArmPkg/ArmPkg.dec
+++ b/ArmPkg/ArmPkg.dec
@@ -65,8 +65,9 @@
   # it has been configured by the CPU DXE\r
   gArmTokenSpaceGuid.PcdDebuggerExceptionSupport|FALSE|BOOLEAN|0x00000032\r
 \r
-  # Define if the Power State Coordination Interface (PSCI) is supported by the Platform Trusted Firmware\r
-  gArmTokenSpaceGuid.PcdArmPsciSupport|FALSE|BOOLEAN|0x00000033\r
+  # Define if the spin-table mechanism is used by the secondary cores when booting\r
+  # Linux (instead of PSCI)\r
+  gArmTokenSpaceGuid.PcdArmLinuxSpinTable|FALSE|BOOLEAN|0x00000033\r
 \r
 [PcdsFixedAtBuild.common]\r
   gArmTokenSpaceGuid.PcdTrustzoneSupport|FALSE|BOOLEAN|0x00000006\r
@@ -140,9 +141,12 @@
   # ARM Architectural Timer\r
   #\r
   gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|0|UINT32|0x00000034\r
-  # ARM Architectural Timer Interrupt(GIC PPI) number\r
+\r
+  # ARM Architectural Timer Interrupt(GIC PPI) numbers\r
   gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum|29|UINT32|0x00000035\r
   gArmTokenSpaceGuid.PcdArmArchTimerIntrNum|30|UINT32|0x00000036\r
+  gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum|26|UINT32|0x00000040\r
+  gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum|27|UINT32|0x00000041\r
 \r
 [PcdsFixedAtBuild.ARM]\r
   #\r