X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-unmap.c;h=327158b62f56cf502eb45f9d462d37d04825b00c;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=2ab3eeab1cf6d7ec757e74596a9db3a9cf65d230;hpb=683215cdf85a8c5c4455dda1c305d3f597ebef60;p=pintos-anon

diff --git a/grading/vm/mmap-unmap.c b/grading/vm/mmap-unmap.c
index 2ab3eea..327158b 100644
--- a/grading/vm/mmap-unmap.c
+++ b/grading/vm/mmap-unmap.c
@@ -13,6 +13,7 @@ int
 main (void) 
 {
   int fd;
+  mapid_t map;
 
   printf ("(mmap-unmap) begin\n");
 
@@ -23,13 +24,14 @@ main (void)
       return 1;
     }
 
-  if (!mmap (fd, ACTUAL, strlen (sample)))
+  map = mmap (fd, ACTUAL);
+  if (map == MAP_FAILED)
     {
       printf ("(mmap-unmap) mmap() failed\n");
       return 1;
     }
 
-  munmap (ACTUAL, strlen (sample));
+  munmap (map);
 
   printf ("(mmap-unmap) FAIL: unmapped memory is readable (%d)\n",
           *(int *) ACTUAL);