efi_mem_type      765 arch/ia64/kernel/efi.c efi_mem_type (unsigned long phys_addr)
efi_mem_type      904 drivers/firmware/efi/efi.c int efi_mem_type(unsigned long phys_addr)