Implement a proper block layer with partition support.

[pintos-anon] / src / filesys / free-map.h

diff --git a/src/filesys/free-map.h b/src/filesys/free-map.h
index ce08f5c8dd9ab54b2742925cf3f533df76106688..316cd1c8cb851c6652a8910a861826d8c2a95230 100644 (file)
--- a/src/filesys/free-map.h
+++ b/src/filesys/free-map.h
@@ -3,7 +3,7 @@
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "devices/disk.h"
+#include "devices/block.h"
 
 void free_map_init (void);
 void free_map_read (void);
@@ -11,7 +11,7 @@ void free_map_create (void);
 void free_map_open (void);
 void free_map_close (void);
 
-bool free_map_allocate (size_t, disk_sector_t *);
-void free_map_release (disk_sector_t, size_t);
+bool free_map_allocate (size_t, block_sector_t *);
+void free_map_release (block_sector_t, size_t);
 
 #endif /* filesys/free-map.h */