efi_alloc_page_tables  131 arch/x86/include/asm/efi.h extern int __init efi_alloc_page_tables(void);
efi_alloc_page_tables  869 arch/x86/platform/efi/efi.c 	if (efi_alloc_page_tables()) {
efi_alloc_page_tables  957 arch/x86/platform/efi/efi.c 	if (efi_alloc_page_tables()) {