for (; vstart < vend ; vstart += PAGE_SIZE) { dprintk(KERN_INFO "sticking %lx into the pool!\n", vstart); gen_pool_free(uncached_pool[node], vstart, PAGE_SIZE); 
for (; start < end ; start += PAGE_SIZE) { dprintk(KERN_INFO "sticking %lx into the pool!\n", start); gen_pool_free(uncached_pool[node], start, PAGE_SIZE); 
uncached_build_memmap(unsigned long start, unsigned long end, void *arg){	long length;	unsigned long vstart, vend;	int node;	length = end - start;	vstart = start + __IA64_UNCACHED_OFFSET;	vend = end + __IA64_UNCACHED_OFFSET;	dprintk(KERN_ERR "uncached_build_memmap(%lx %lx)\n", start, end);	memset((char *)vstart, 0, length);	node = paddr_to_nid(start);	for (; vstart < vend ; vstart += PAGE_SIZE) {		dprintk(KERN_INFO "sticking %lx into the pool!\n", vstart);		gen_pool_free(uncached_pool[node], vstart, PAGE_SIZE);	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d8c97d5f3aa348272df2ccb4e224b1cf9a1eb6d7/uncached.c/clean/arch/ia64/kernel/uncached.c