if (ei->addr >= end || ei->addr + ei->size < start) 
if (ei->addr >= end || ei->addr + ei->size <= start) 
int __init e820_mapped(unsigned long start, unsigned long end, unsigned type) { 	int i;	for (i = 0; i < e820.nr_map; i++) { 		struct e820entry *ei = &e820.map[i]; 		if (type && ei->type != type) 			continue;		if (ei->addr >= end || ei->addr + ei->size < start) 			continue; 		return 1; 	} 	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/48c8b1134249432318c8e5d19adc37c45242c4b1/e820.c/clean/arch/x86_64/kernel/e820.c