efi_alloc_page_tables 42 arch/x86/platform/efi/efi_32.c int __init efi_alloc_page_tables(void) efi_alloc_page_tables 207 arch/x86/platform/efi/efi_64.c int __init efi_alloc_page_tables(void)