is_memory_available 1014 arch/ia64/kernel/efi.c if (!is_memory_available(md) || md->type == EFI_LOADER_DATA) is_memory_available 1093 arch/ia64/kernel/efi.c if (!is_memory_available(md))