Add comments.
[pintos-anon] / src / filesys / filesys.h
index a54a347e1c7c50fb1e826725b209759a5d7e9af5..1f06c34bcf878144161b0de9645a455eef28367d 100644 (file)
@@ -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);