X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-read.c;h=cb25ba1457bb8879eb48d3734539bebd30f8f669;hb=90e779441b8ed82f464f35624ad9a79d93651d9b;hp=b763dddb2374b1bb5ffa35640f5f11fddca3485b;hpb=96c122af8890db8f39dfd2ee21df761c6131e8f5;p=pintos-anon

diff --git a/grading/vm/mmap-read.c b/grading/vm/mmap-read.c
index b763ddd..cb25ba1 100644
--- a/grading/vm/mmap-read.c
+++ b/grading/vm/mmap-read.c
@@ -13,6 +13,7 @@ int
 main (void) 
 {
   int fd;
+  mapid_t map;
 
   printf ("(mmap-read) begin\n");
 
@@ -23,7 +24,8 @@ main (void)
       return 1;
     }
 
-  if (!mmap (fd, ACTUAL, strlen (sample)))
+  map = mmap (fd, ACTUAL);
+  if (map == MAP_FAILED)
     {
       printf ("(mmap-read) mmap() failed\n");
       return 1;
@@ -35,7 +37,7 @@ main (void)
       return 1;
     }
 
-  if (!munmap (ACTUAL, strlen (sample)))
+  if (!munmap (map))
     {
       printf ("(mmap-read) munmap() failed\n");
       return 1;