Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/common/sys/
H A Defi.h195 } __packed EFI_SYSTEM_TABLE32; typedef
/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c1655 process_efi32(EFI_SYSTEM_TABLE32 *efi) in process_efi32()
1755 process_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in dboot_multiboot_get_fwtables()
1795 print_efi32(EFI_SYSTEM_TABLE32 *efi) in print_efi32()
2296 print_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in startup_kernel()