if (!PageReserved(page) && put_page_testzero(page)) { 
if (put_page_testzero(page)) { 
fastcall void __free_pages(struct page *page, unsigned int order){	if (!PageReserved(page) && put_page_testzero(page)) {		if (order == 0)			free_hot_page(page);		else			__free_pages_ok(page, order);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5810039a54e5babf428e9a1e89fc1940fabff11/page_alloc.c/clean/mm/page_alloc.c