pintos-os.org Git - pintos-anon/blob - src/filesys/free-map.h

   1 #ifndef FILESYS_FREE_MAP_H
   2 #define FILESYS_FREE_MAP_H
   3
   4 #include <stdbool.h>
   5 #include <stddef.h>
   6 #include "devices/disk.h"
   7
   8 void free_map_init (void);
   9 void free_map_read (void);
  10 void free_map_create (void);
  11 void free_map_open (void);
  12 void free_map_close (void);
  13
  14 bool free_map_allocate (size_t, disk_sector_t *);
  15 void free_map_release (disk_sector_t, size_t);
  16
  17 #endif /* filesys/free-map.h */