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

diff --git a/grading/vm/mmap-write.c b/grading/vm/mmap-write.c
index 183c822..2a9cda4 100644
--- a/grading/vm/mmap-write.c
+++ b/grading/vm/mmap-write.c
@@ -13,6 +13,7 @@ int
 main (void) 
 {
   int fd;
+  mapid_t map;
   char buf[1024];
 
   printf ("(mmap-write) begin\n");
@@ -31,13 +32,14 @@ main (void)
       return 1;
     }
 
-  if (!mmap (fd, ACTUAL, strlen (sample)))
+  map = mmap (fd, ACTUAL);
+  if (map == MAP_FAILED)
     {
       printf ("(mmap-write) mmap() failed\n");
       return 1;
     }
   memcpy (ACTUAL, sample, strlen (sample));
-  munmap (ACTUAL, strlen (sample));
+  munmap (map);
 
   /* Read back via read(). */
   read (fd, buf, strlen (sample));