static inline int page_is_ram(unsigned long pagenr) 
int page_is_ram(unsigned long pagenr) 
static inline int page_is_ram(unsigned long pagenr){	int i;	unsigned long addr, end;	if (efi_enabled) {		efi_memory_desc_t *md;		for (i = 0; i < memmap.nr_map; i++) {			md = &memmap.map[i];			if (!is_available_memory(md))				continue;			addr = (md->phys_addr+PAGE_SIZE-1) >> PAGE_SHIFT;			end = (md->phys_addr + (md->num_pages << EFI_PAGE_SHIFT)) >> PAGE_SHIFT;			if ((pagenr >= addr) && (pagenr < end))				return 1;		}		return 0;	}	for (i = 0; i < e820.nr_map; i++) {		if (e820.map[i].type != E820_RAM)	/* not usable memory */			continue;		/*		 *	!!!FIXME!!! Some BIOSen report areas as RAM that		 *	are not. Notably the 640->1Mb area. We need a sanity		 *	check here.		 */		addr = (e820.map[i].addr+PAGE_SIZE-1) >> PAGE_SHIFT;		end = (e820.map[i].addr+e820.map[i].size) >> PAGE_SHIFT;		if  ((pagenr >= addr) && (pagenr < end))			return 1;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5b505b90b2d54e526cc8d123bdef3b98c9f0bbc6/init.c/buggy/arch/i386/mm/init.c