static void *page_pool_alloc(unsigned int __nocast gfp_mask, void *data) 
static void *page_pool_alloc(gfp_t gfp_mask, void *data) 
static void *page_pool_alloc(unsigned int __nocast gfp_mask, void *data){	unsigned int gfp = gfp_mask | (unsigned int) (long) data;	return alloc_page(gfp);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/highmem.c/clean/mm/highmem.c