for (i = 0; i < memmap.nr_map; i++) { md = &memmap.map[i]; 
for (p = memmap.map; p < memmap.map_end; p += memmap.desc_size) { md = p; 
u64 efi_mem_attributes(unsigned long phys_addr){	efi_memory_desc_t *md;	int i;	for (i = 0; i < memmap.nr_map; i++) {		md = &memmap.map[i];		if ((md->phys_addr <= phys_addr) && (phys_addr <			(md->phys_addr + (md-> num_pages << EFI_PAGE_SHIFT)) ))			return md->attribute;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7ae65fd334232468a9d6b523a4fc141cd6ec5ea4/efi.c/clean/arch/i386/kernel/efi.c