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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h101 EFI_SET_TIMER SetTimer;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h485 (EFIAPI *EFI_SET_TIMER)( typedef
1824 EFI_SET_TIMER SetTimer;
/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Dboot_service_table.h44 TBL_ENTRY(EFI_SET_TIMER, SetTimer, NVOID, EFI_STATUS, 3, (SCL(EFI_EVENT), SCL(EFI_TIMER_DELAY), SCL(UINT64)))
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h485 (EFIAPI *EFI_SET_TIMER)( typedef
1819 EFI_SET_TIMER SetTimer;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c62 (EFI_SET_TIMER) CoreSetTimer, // SetTimer

Completed in 80 milliseconds