for (i = 0; i < memmap.nr_map; i++) { current_addr = memmap.map[i].phys_addr + (memmap.map[i].num_pages << 12); if (memmap.map[i].type == EFI_CONVENTIONAL_MEMORY) { 
efi_memory_desc_t *md; void *p;  for (p = memmap.map, i = 0; p < memmap.map_end; p += memmap.desc_size, i++) { md = p; current_addr = md->phys_addr + (md->num_pages << 12); if (md->type == EFI_CONVENTIONAL_MEMORY) { 
static void __init limit_regions(unsigned long long size){	unsigned long long current_addr = 0;	int i;	if (efi_enabled) {		for (i = 0; i < memmap.nr_map; i++) {			current_addr = memmap.map[i].phys_addr +				       (memmap.map[i].num_pages << 12);			if (memmap.map[i].type == EFI_CONVENTIONAL_MEMORY) {				if (current_addr >= size) {					memmap.map[i].num_pages -=						(((current_addr-size) + PAGE_SIZE-1) >> PAGE_SHIFT);					memmap.nr_map = i + 1;					return;				}			}		}	}	for (i = 0; i < e820.nr_map; i++) {		if (e820.map[i].type == E820_RAM) {			current_addr = e820.map[i].addr + e820.map[i].size;			if (current_addr >= size) {				e820.map[i].size -= current_addr-size;				e820.nr_map = i + 1;				return;			}		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7ae65fd334232468a9d6b523a4fc141cd6ec5ea4/setup.c/clean/arch/i386/kernel/setup.c