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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h127 EFI_EXIT_BOOT_SERVICES ExitBootServices;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h920 (EFIAPI *EFI_EXIT_BOOT_SERVICES)( typedef
1853 EFI_EXIT_BOOT_SERVICES ExitBootServices;
/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Dboot_service_table.h69 TBL_ENTRY(EFI_EXIT_BOOT_SERVICES, ExitBootServices, NVOID, EFI_STATUS, 2, (SCL(EFI_HANDLE), SCL(UINTN)))
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h920 (EFIAPI *EFI_EXIT_BOOT_SERVICES)( typedef
1845 EFI_EXIT_BOOT_SERVICES ExitBootServices;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c80 (EFI_EXIT_BOOT_SERVICES) CoreExitBootServices, // ExitBootServices

Completed in 64 milliseconds