efi_dump_pagetable   49 arch/x86/platform/efi/efi_32.c void __init efi_dump_pagetable(void)
efi_dump_pagetable  611 arch/x86/platform/efi/efi_64.c void __init efi_dump_pagetable(void)