Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c1833 print_efi64(EFI_SYSTEM_TABLE64 *efi) in print_efi64() function
2293 print_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t) in startup_kernel()