pintos-os.org Git - pintos-anon/blob - src/tests/vm/mmap-unmap.c

   1 /* Maps and unmaps a file and verifies that the mapped region is
   2    inaccessible afterward. */
   3
   4 #include <syscall.h>
   5 #include "tests/vm/sample.inc"
   6 #include "tests/lib.h"
   7 #include "tests/main.h"
   8
   9 #define ACTUAL ((void *) 0x10000000)
  10
  11 void
  12 test_main (void)
  13 {
  14   int handle;
  15   mapid_t map;
  16
  17   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
  18   CHECK ((map = mmap (handle, ACTUAL)) != MAP_FAILED, "mmap \"sample.txt\"");
  19
  20   munmap (map);
  21
  22   fail ("unmapped memory is readable (%d)", *(int *) ACTUAL);
  23 }