return (register_filesystem(&vxfs_fs_type)); 
return register_filesystem(&vxfs_fs_type); 
vxfs_init(void){	vxfs_inode_cachep = kmem_cache_create("vxfs_inode",			sizeof(struct vxfs_inode_info), 0, 			SLAB_RECLAIM_ACCOUNT, NULL, NULL);	if (vxfs_inode_cachep)		return (register_filesystem(&vxfs_fs_type));	return -ENOMEM;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8cb681b9c7fff5cb35b5c05ba4f1b7e285e258fb/vxfs_super.c/buggy/fs/freevxfs/vxfs_super.c