void *mempool_alloc_slab(unsigned int __nocast gfp_mask, void *pool_data) 
void *mempool_alloc_slab(gfp_t gfp_mask, void *pool_data) 
void *mempool_alloc_slab(unsigned int __nocast gfp_mask, void *pool_data){	kmem_cache_t *mem = (kmem_cache_t *) pool_data;	return kmem_cache_alloc(mem, gfp_mask);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/mempool.c/buggy/mm/mempool.c