Working backdoor filesystem implementation.

[pintos-anon] / src / filesys / file.h

diff --git a/src/filesys/file.h b/src/filesys/file.h
index 689aa6df4878bb71f92568d7fbc0ceb5a4cc17b0..8f2fbc9fb85254e8ccbbd7eb3e07507a0baa5b4a 100644 (file)
--- a/src/filesys/file.h
+++ b/src/filesys/file.h
@@ -7,6 +7,7 @@
 typedef int32_t off_t;
 
 struct file;
+void file_close (struct file *);
 off_t file_read (struct file *, void *, off_t);
 off_t file_write (struct file *, const void *, off_t);
 off_t file_length (struct file *);