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