errno_t cache_destroy( cache_t *c ) { if( c == 0 ) return 0; errno_t ret1 = cache_flush_all( c ); if( ret1 ) SHOW_ERROR( 0, "Cache flush error %d", ret1 ); errno_t ret2 = cache_do_destroy( c ); free(c); return ret1 ? ret1 : ret2; }
/* Shuts down the file system module, writing any unwritten data to disk. */ void filesys_done (void) { cache_flush_all (); free_map_close (); }