efi_setup_page_tables  132 arch/x86/include/asm/efi.h extern int __init efi_setup_page_tables(unsigned long pa_memmap, unsigned num_pages);
efi_setup_page_tables  902 arch/x86/platform/efi/efi.c 	if (efi_setup_page_tables(efi.memmap.phys_map, num_pages)) {
efi_setup_page_tables  991 arch/x86/platform/efi/efi.c 	if (efi_setup_page_tables(pa, 1 << pg_shift))