static inline void free_pages_check(const char *function, struct page *page) 
static inline int free_pages_check(const char *function, struct page *page) 
static inline void free_pages_check(const char *function, struct page *page){	if (	page_mapcount(page) ||		page->mapping != NULL ||		page_count(page) != 0 ||		(page->flags & (			1 << PG_lru	|			1 << PG_private |			1 << PG_locked	|			1 << PG_active	|			1 << PG_reclaim	|			1 << PG_slab	|			1 << PG_swapcache |			1 << PG_writeback |			1 << PG_reserved )))		bad_page(function, page);	if (PageDirty(page))		__ClearPageDirty(page);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/689bcebfda16d7bace742740bfb3137fff30b529/page_alloc.c/buggy/mm/page_alloc.c