Implement a proper block layer with partition support.
[pintos-anon] / src / filesys / filesys.h
index caef83c45c17f4986a3fc8838769a64d7a1e7606..c1cda84ecc324fbe70b4e9e3e729ed9ade89c24b 100644 (file)
@@ -8,8 +8,8 @@
 #define FREE_MAP_SECTOR 0       /* Free map file inode sector. */
 #define ROOT_DIR_SECTOR 1       /* Root directory file inode sector. */
 
-/* Disk used for file system. */
-extern struct disk *filesys_disk;
+/* Block device that contains the file system. */
+struct block *fs_device;
 
 void filesys_init (bool format);
 void filesys_done (void);