Symbol: EFI_SYSTEM_TABLE32
usr/src/uts/i86pc/dboot/dboot_startkern.c
1776
process_efi32(EFI_SYSTEM_TABLE32 *efi)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1876
process_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1916
print_efi32(EFI_SYSTEM_TABLE32 *efi)
usr/src/uts/i86pc/dboot/dboot_startkern.c
2416
print_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t)