X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-shuffle.c;h=ae16f4a206fb565809f2d7012fa85bbaafb01153;hb=a31ff4c0953c97bd986ec2150d55e6d8909e9047;hp=d576e9aea26fa117b9750a6f7fb8c6194b58a20f;hpb=9f45770b97fc271a0cc70647aa42353d23faba34;p=pintos-anon

diff --git a/grading/vm/mmap-shuffle.c b/grading/vm/mmap-shuffle.c
index d576e9a..ae16f4a 100644
--- a/grading/vm/mmap-shuffle.c
+++ b/grading/vm/mmap-shuffle.c
@@ -5,10 +5,14 @@
 #else
 #include "posix-compat.h"
 #endif
-#include "arc4.h"
-#include "cksum.h"
+#include "../lib/arc4.h"
+#include "../lib/cksum.h"
+
+/* This is the max file size for an older version of the Pintos
+   file system that had 126 direct blocks each pointing to a
+   single disk sector.  We could raise it now. */
+#define SIZE (126 * 512)
 
-#define SIZE (63 * 1024)        /* Max file size. */
 static char *buf = (char *) 0x10000000;
 
 static struct arc4 *