Don't assume 4 kB pages.

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

diff --git a/src/filesys/filehdr.h b/src/filesys/filehdr.h
index cb28416066862af204e105f6dedcce6e6ece6507..60bca9619d452a26f08800cc089733b89e738491 100644 (file)
--- a/src/filesys/filehdr.h
+++ b/src/filesys/filehdr.h
@@ -1,9 +1,9 @@
-#ifndef HEADER_FILEHDR_H
-#define HEADER_FILEHDR_H 1
+#ifndef FILESYS_FILEHDR_H
+#define FILESYS_FILEHDR_H
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "off_t.h"
+#include "filesys/off_t.h"
 #include "devices/disk.h"
 
 /* Number of direct sector pointers in a file header. */
@@ -29,4 +29,4 @@ disk_sector_t filehdr_byte_to_sector (const struct filehdr *, off_t);
 off_t filehdr_length (const struct filehdr *);
 void filehdr_print (const struct filehdr *);
 
-#endif /* filehdr.h */
+#endif /* filesys/filehdr.h */