Searched refs:print_efi64 (Results 1 – 1 of 1) sorted by relevance
1833 print_efi64(EFI_SYSTEM_TABLE64 *efi) in print_efi64() function2293 print_efi64((EFI_SYSTEM_TABLE64 *)(uintptr_t) in startup_kernel()