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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h86 EFI_RESTORE_TPL RestoreTPL;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h589 (EFIAPI *EFI_RESTORE_TPL)( typedef
1807 EFI_RESTORE_TPL RestoreTPL;
/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Dboot_service_table.h36 TBL_ENTRY(EFI_RESTORE_TPL, RestoreTPL, RVOID, VOID, 1, (SCL(EFI_TPL)))
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h589 (EFIAPI *EFI_RESTORE_TPL)( typedef
1804 EFI_RESTORE_TPL RestoreTPL;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c55 (EFI_RESTORE_TPL) CoreRestoreTpl, // RestoreTPL

Completed in 58 milliseconds