Searched refs:efi_dump_pagetable (Results 1 – 4 of 4) sorted by relevance
49 void __init efi_dump_pagetable(void) in efi_dump_pagetable() function
1033 efi_dump_pagetable(); in efi_enter_virtual_mode()
610 void __init efi_dump_pagetable(void) in efi_dump_pagetable() function
138 extern void __init efi_dump_pagetable(void);
