kernel_map_pages(page, 1, 0); inc_page_state(pgfree); 
static void fastcall free_hot_cold_page(struct page *page, int cold){	struct zone *zone = page_zone(page);	struct per_cpu_pages *pcp;	unsigned long flags;	arch_free_page(page, 0);	kernel_map_pages(page, 1, 0);	inc_page_state(pgfree);	if (PageAnon(page))		page->mapping = NULL;	free_pages_check(__FUNCTION__, page);	pcp = &zone_pcp(zone, get_cpu())->pcp[cold];	local_irq_save(flags);	list_add(&page->lru, &pcp->list);	pcp->count++;	if (pcp->count >= pcp->high)		pcp->count -= free_pages_bulk(zone, pcp->batch, &pcp->list, 0);	local_irq_restore(flags);	put_cpu();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/689bcebfda16d7bace742740bfb3137fff30b529/page_alloc.c/buggy/mm/page_alloc.c