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.c1770 process_efi32(EFI_SYSTEM_TABLE32 *efi) in process_efi32()
1870 process_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in dboot_multiboot_get_fwtables()
1910 print_efi32(EFI_SYSTEM_TABLE32 *efi) in print_efi32()
2410 print_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in startup_kernel()