Eliminate duplicated file GUID.

[mirror_edk2.git] / ArmPkg / ArmPkg.dec

diff --git a/ArmPkg/ArmPkg.dec b/ArmPkg/ArmPkg.dec
index 3b09a0f9ab02d10252a32c3b09e8fa3c289217fe..a8ca28fccc820d93e7d4e565ef084fa6630860ac 100644 (file)
--- a/ArmPkg/ArmPkg.dec
+++ b/ArmPkg/ArmPkg.dec
@@ -141,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