Home
last modified time | relevance | path

Searched refs:EFI_SYSTEM_TABLE64 (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/uts/common/sys/
H A Defi.h218 } __packed EFI_SYSTEM_TABLE64; typedef
/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c1806 process_efi64(EFI_SYSTEM_TABLE64 *efi) in process_efi64()
1860 process_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t) in dboot_multiboot_get_fwtables()
1948 print_efi64(EFI_SYSTEM_TABLE64 *efi) in print_efi64()
2407 print_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t) in startup_kernel()