Start work on filesystem code.
[pintos-anon] / src / filesys / filesys.h
index bbde398c51f3adad35629e045bbd7a7c4aec92fd..4f31b7c1ce96d7d72288c4d6b91d1b5850d6acad 100644 (file)
@@ -3,10 +3,16 @@
 
 #include <stdbool.h>
 
-void filesys_init (bool reformat);
-bool filesys_create (const char *name);
-struct file *filesys_open (const char *name);
+#ifndef OFF_T
+#define OFF_T
+typedef int32_t off_t;
+#endif
+
+struct file;
+void filesys_init (bool format);
+bool filesys_create (const char *name, off_t initial_size);
 bool filesys_remove (const char *name);
+void filesys_list (void);
 
 void filesys_self_test (void);