Searched refs:ExitBootServices (Results 1 – 5 of 5) sorted by relevance
| /netbsd-src/sys/arch/i386/stand/efiboot/ |
| H A D | efiboot.c | 127 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, MapKey); in efi_cleanup()
132 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, MapKey); in efi_cleanup()
|
| /netbsd-src/sys/arch/ia64/stand/efi/libefi/ |
| H A D | exec.c | 173 status = BS->ExitBootServices(IH, mapkey); in elf64_exec()
|
| /netbsd-src/sys/stand/efiboot/ |
| H A D | efiboot.c | 128 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, mapkey); in efi_cleanup()
130 printf("WARNING: ExitBootServices failed\n"); in efi_cleanup()
|
| /netbsd-src/sys/external/bsd/acpica/dist/include/platform/ |
| H A D | acefiex.h | 809 ACPI_EFI_EXIT_BOOT_SERVICES ExitBootServices;
812 ACPI_EFI_UNKNOWN_INTERFACE ExitBootServices; member
|
| /netbsd-src/sys/external/bsd/gnu-efi/dist/inc/ |
| H A D | efiapi.h | 871 EFI_EXIT_BOOT_SERVICES ExitBootServices; member
|