ArmPkg/TimerDxe: Register the virt and hyp timer interrupts at init time.

[mirror_edk2.git] / ArmPkg / Drivers / TimerDxe / TimerDxe.inf

diff --git a/ArmPkg/Drivers/TimerDxe/TimerDxe.inf b/ArmPkg/Drivers/TimerDxe/TimerDxe.inf
index 50477ba42a7ac497d3b8ba24493c224b30546b2e..161d286d9c57aebd01d509c7b4946beb7438cf1d 100644 (file)
--- a/ArmPkg/Drivers/TimerDxe/TimerDxe.inf
+++ b/ArmPkg/Drivers/TimerDxe/TimerDxe.inf
@@ -52,6 +52,8 @@
   gEmbeddedTokenSpaceGuid.PcdTimerPeriod\r
   gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum\r
   gArmTokenSpaceGuid.PcdArmArchTimerIntrNum\r
+  gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum\r
+  gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum\r
   gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz\r
 \r
 [Depex]\r