Searched refs:TimerHypIntrNum (Results 1 - 1 of 1) sorted by relevance

/device/linaro/bootloader/edk2/ArmPkg/Drivers/TimerDxe/
H A DTimerDxe.c373 UINT32 TimerHypIntrNum; local
403 TimerHypIntrNum = PcdGet32 (PcdArmArchTimerHypIntrNum);
404 if (TimerHypIntrNum != 0) {
405 Status = gInterrupt->RegisterInterruptSource (gInterrupt, TimerHypIntrNum, TimerInterruptHandler);

Completed in 29 milliseconds