hugetlbfs_inc_free_inodes(HUGETLBFS_SB(inode->i_sb)); 
static void hugetlbfs_destroy_inode(struct inode *inode){	mpol_free_shared_policy(&HUGETLBFS_I(inode)->policy);	kmem_cache_free(hugetlbfs_inode_cachep, HUGETLBFS_I(inode));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96527980d4cb8f65fe49efdbc4ab92c0837d42f6/inode.c/buggy/fs/hugetlbfs/inode.c