Home | History | Annotate | Download | only in TimerDxe

Lines Matching refs:gInterrupt

45 EFI_HARDWARE_INTERRUPT_PROTOCOL *gInterrupt = NULL;

314     gInterrupt->EndOfInterrupt (gInterrupt, Source);

344   gInterrupt->EnableInterruptSource (gInterrupt, Source);

381   Status = gBS->LocateProtocol (&gHardwareInterruptProtocolGuid, NULL, (VOID **)&gInterrupt);

396   Status = gInterrupt->RegisterInterruptSource (gInterrupt, PcdGet32 (PcdArmArchTimerVirtIntrNum), TimerInterruptHandler);

405     Status = gInterrupt->RegisterInterruptSource (gInterrupt, TimerHypIntrNum, TimerInterruptHandler);

409   Status = gInterrupt->RegisterInterruptSource (gInterrupt, PcdGet32 (PcdArmArchTimerSecIntrNum), TimerInterruptHandler);

412   Status = gInterrupt->RegisterInterruptSource (gInterrupt, PcdGet32 (PcdArmArchTimerIntrNum), TimerInterruptHandler);