pintos-os.org Git - pintos-anon/blob - grading/vm/pt-bad-addr.c

   1 #include <stdio.h>
   2
   3 int
   4 main (void)
   5 {
   6   printf ("(pt-bad-addr) begin\n");
   7   printf ("(pt-bad-addr) FAIL: bad addr read as %d\n", *(int *) 0x04000000);
   8   printf ("(pt-bad-addr) end\n");
   9   return 0;
  10 }