nfsd4_free_slab(&deleg_slab); 
nfsd4_free_slabs(void){	nfsd4_free_slab(&stateowner_slab);	nfsd4_free_slab(&file_slab);	nfsd4_free_slab(&stateid_slab);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5b2d21c1965859acc881dd862b6ebbfae67cdc14/nfs4state.c/buggy/fs/nfsd/nfs4state.c