X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffile.h;h=c28201d9b8b82022faf1e80671b5d366b01ec219;hb=0ec49949304b13ff22287d7d9e3dcb05090c61a4;hp=afa1990102ac84db4dd929ff2eaa16a72dac6d1d;hpb=f6580e9ad405b519dbe85027691bf3c66074b0a4;p=pintos-anon

diff --git a/src/filesys/file.h b/src/filesys/file.h
index afa1990..c28201d 100644
--- a/src/filesys/file.h
+++ b/src/filesys/file.h
@@ -1,20 +1,11 @@
-#ifndef HEADER_FILE_H
-#define HEADER_FILE_H 1
+#ifndef FILESYS_FILE_H
+#define FILESYS_FILE_H
 
-#include <stdbool.h>
-#include <stdint.h>
 #include <stddef.h>
 #include "devices/disk.h"
-#include "off_t.h"
+#include "filesys/off_t.h"
 
-struct file 
-  {
-    struct filehdr *hdr;
-    void *bounce;
-    off_t pos;
-  };
-
-bool file_open (struct file *, disk_sector_t);
+struct file *file_open (disk_sector_t);
 void file_close (struct file *);
 off_t file_read (struct file *, void *, off_t);
 off_t file_read_at (struct file *, void *, off_t size, off_t start);
@@ -23,5 +14,6 @@ off_t file_write_at (struct file *, const void *, off_t size, off_t start);
 off_t file_length (struct file *);
 void file_seek (struct file *, off_t);
 off_t file_tell (struct file *);
+void file_remove (struct file *);
 
-#endif /* file.h */
+#endif /* filesys/file.h */