X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-shuffle.c;h=ae16f4a206fb565809f2d7012fa85bbaafb01153;hb=9d6ad9a479ddae9628dc2d45862f9281986c430b;hp=d576e9aea26fa117b9750a6f7fb8c6194b58a20f;hpb=138a698717cc15a30d0ff60cddd7bc4d21eb30a1;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 *