group/pintos/src/filesys/filesys.c
/* Shuts down the file system module, writing any unwritten data
   to disk. */
Shuts down the file system module, writing any unwritten data
to disk.
Shuts down the file system module writing any unwritten data to disk .
void
filesys_done (void)
{
  free_map_close ();
}
void filesys_done ( void ) { free_map_close ( ) ; }
Shuts down the file system module, writing any unwritten data
to disk.
Shuts down the file system module writing any unwritten data to disk .