X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;fp=src%2Ffilesys%2Ffilesys.h;h=1f06c34bcf878144161b0de9645a455eef28367d;hb=97dcefb4742e13df9eb22c3aa00bb802bdc55c60;hp=a54a347e1c7c50fb1e826725b209759a5d7e9af5;hpb=3625c2e6aba3b282f91282492c4b3fba324816c1;p=pintos-anon

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index a54a347..1f06c34 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -5,7 +5,8 @@
 #include <stdint.h>
 #include "off_t.h"
 
-struct disk *filesys_disk;
+/* Disk used for filesystem. */
+extern struct disk *filesys_disk;
 
 struct file;
 void filesys_init (bool format);