efi_dump_pagetable  136 arch/x86/include/asm/efi.h extern void __init efi_dump_pagetable(void);
efi_dump_pagetable 1059 arch/x86/platform/efi/efi.c 	efi_dump_pagetable();