static void *write_pool_alloc(unsigned int gfp_flags, void *data) 
static void *write_pool_alloc(gfp_t gfp_flags, void *data) 
static void *write_pool_alloc(unsigned int gfp_flags, void *data){	return kmalloc(sizeof(struct page_list), gfp_flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b4e3ca1ab1ae9ae86134126dcdc88da1caaa32ca/bitmap.c/buggy/drivers/md/bitmap.c