int status = 0;  if (stateowner_slab) status = kmem_cache_destroy(stateowner_slab); stateowner_slab = NULL; BUG_ON(status); 
nfsd4_free_slab(&stateowner_slab); nfsd4_free_slab(&file_slab); 
nfsd4_free_slabs(void){	int status = 0;	if (stateowner_slab)		status = kmem_cache_destroy(stateowner_slab);	stateowner_slab = NULL;	BUG_ON(status);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e60d4398a7c20fbe9c4a6cc39d7188ef9f65d2f1/nfs4state.c/buggy/fs/nfsd/nfs4state.c