HomeSort by: relevance | last modified time | path
    Searched refs:ExitBootServices (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/arch/i386/stand/efiboot/
efiboot.c 127 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, MapKey);
132 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, MapKey);
134 panic("ExitBootServices failed");
  /src/sys/arch/ia64/stand/efi/libefi/
exec.c 173 status = BS->ExitBootServices(IH, mapkey);
175 printf("ExitBootServices returned 0x%lx\n", status);
  /src/sys/stand/efiboot/
efiboot.c 128 status = uefi_call_wrapper(BS->ExitBootServices, 2, IH, mapkey);
130 printf("WARNING: ExitBootServices failed\n");
  /src/sys/external/bsd/acpica/dist/include/platform/
acefiex.h 809 ACPI_EFI_EXIT_BOOT_SERVICES ExitBootServices;
812 ACPI_EFI_UNKNOWN_INTERFACE ExitBootServices;
  /src/sys/external/bsd/gnu-efi/dist/inc/
efiapi.h 871 EFI_EXIT_BOOT_SERVICES ExitBootServices;

Completed in 22 milliseconds