check_pgt_cache (void) 
check_pgt_cache(void) 
check_pgt_cache (void){	int low, high;	low = pgt_cache_water[0];	high = pgt_cache_water[1];	preempt_disable();	if (pgtable_cache_size > (u64) high) {		do {			if (pgd_quicklist)				free_page((unsigned long)pgd_alloc_one_fast(NULL));			if (pmd_quicklist)				free_page((unsigned long)pmd_alloc_one_fast(NULL, 0));		} while (pgtable_cache_size > (u64) low);	}	preempt_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde740e4dd4a05ca8957490d468fa9b2770f5bd6/init.c/buggy/arch/ia64/mm/init.c