void ext2fs_done(void) { ufs_done(); pool_destroy(&ext2fs_inode_pool); }
static void chfs_done(void) { ufs_done(); chfs_ihashdone(); pool_destroy(&chfs_inode_pool); chfs_destroy_pool_caches(); }