printk(KERN_INFO "iso_inode_cache: not all structures were freed\n"); 
printk(KERN_INFO "iso_inode_cache: not all structures were " "freed\n"); 
static void destroy_inodecache(void){	if (kmem_cache_destroy(isofs_inode_cachep))		printk(KERN_INFO "iso_inode_cache: not all structures were freed\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9eb7f2c67c41d2cd730aedcd23e5baca09211d03/inode.c/buggy/fs/isofs/inode.c