Searched refs:efi_mem_type (Results 1 – 4 of 4) sorted by relevance
65 if (efi_mem_type(bgrt->image_address) != EFI_BOOT_SERVICES_DATA) { in efi_bgrt_init()
994 int efi_mem_type(unsigned long phys_addr) in efi_mem_type() function
1173 if (!efi_enabled(EFI_BOOT) || (efi_mem_type(0xa0000) != EFI_CONVENTIONAL_MEMORY)) in setup_arch()
747 extern int efi_mem_type(unsigned long phys_addr);