Symbol: EFI_SYSTEM_TABLE64
usr/src/uts/i86pc/dboot/dboot_startkern.c
1812
process_efi64(EFI_SYSTEM_TABLE64 *efi)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1866
process_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t)
usr/src/uts/i86pc/dboot/dboot_startkern.c
1954
print_efi64(EFI_SYSTEM_TABLE64 *efi)
usr/src/uts/i86pc/dboot/dboot_startkern.c
2413
print_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t)