X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=c1cda84ecc324fbe70b4e9e3e729ed9ade89c24b;hp=caef83c45c17f4986a3fc8838769a64d7a1e7606;hb=a03618133f7df0954802a470a4bee7674f7aed45;hpb=bfc9e18a6723b2315ef521282a8b42119338ece9

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index caef83c..c1cda84 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -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);