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