Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/common/sys/
H A Defi.h168 } __packed EFI_CONFIGURATION_TABLE32; typedef
/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c1658 EFI_CONFIGURATION_TABLE32 *config; in process_efi32()
1663 config = (EFI_CONFIGURATION_TABLE32 *)(uintptr_t) in process_efi32()
1798 EFI_CONFIGURATION_TABLE32 *conf; in print_efi32()
1813 conf = (EFI_CONFIGURATION_TABLE32 *)(uintptr_t) in print_efi32()