Searched defs:EFI_RESTORE_TPL (Results 1 - 2 of 2) sorted by relevance

/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/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h589 (EFIAPI *EFI_RESTORE_TPL)( typedef
1804 EFI_RESTORE_TPL RestoreTPL;

Completed in 53 milliseconds