reiserfs_warning (NULL, "reiserfs_inode_cache: not all structures were freed"); 
reiserfs_warning(NULL, "reiserfs_inode_cache: not all structures were freed"); 
static void destroy_inodecache(void){	if (kmem_cache_destroy(reiserfs_inode_cachep))		reiserfs_warning (NULL, "reiserfs_inode_cache: not all structures were freed");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bd4c625c061c2a38568d0add3478f59172455159/super.c/buggy/fs/reiserfs/super.c