void nfs_destroy_inodecache(void) 
static void nfs_destroy_inodecache(void) 
void nfs_destroy_inodecache(void){	if (kmem_cache_destroy(nfs_inode_cachep))		printk(KERN_INFO "nfs_inode_cache: not all structures were freed\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/75c96f85845a6707b0f9916cb263cb3584f7d48f/inode.c/buggy/fs/nfs/inode.c