Searched refs:print_efi32 (Results 1 – 1 of 1) sorted by relevance
1916 print_efi32(EFI_SYSTEM_TABLE32 *efi) in print_efi32() function2416 print_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in startup_kernel()