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

   1 /* Verifies that memory mappings at address 0 are disallowed. */
   2
   3 #include <syscall.h>
   4 #include "tests/lib.h"
   5 #include "tests/main.h"
   6
   7 void
   8 test_main (void)
   9 {
  10   int handle;
  11
  12   CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
  13   CHECK (mmap (handle, NULL) == MAP_FAILED, "try to mmap at address 0");
  14 }
  15