efi_setup_page_tables   56 arch/x86/platform/efi/efi_32.c int __init efi_setup_page_tables(unsigned long pa_memmap, unsigned num_pages)
efi_setup_page_tables  339 arch/x86/platform/efi/efi_64.c int __init efi_setup_page_tables(unsigned long pa_memmap, unsigned num_pages)