free_pages_check(__FUNCTION__, page + i); 
reserved += free_pages_check(__FUNCTION__, page + i); if (reserved) return;  
void __free_pages_ok(struct page *page, unsigned int order){	LIST_HEAD(list);	int i;	arch_free_page(page, order);	mod_page_state(pgfree, 1 << order);#ifndef CONFIG_MMU	if (order > 0)		for (i = 1 ; i < (1 << order) ; ++i)			__put_page(page + i);#endif	for (i = 0 ; i < (1 << order) ; ++i)		free_pages_check(__FUNCTION__, page + i);	list_add(&page->lru, &list);	kernel_map_pages(page, 1<<order, 0);	free_pages_bulk(page_zone(page), 1, &list, order);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/689bcebfda16d7bace742740bfb3137fff30b529/page_alloc.c/buggy/mm/page_alloc.c