pintos-os.org Git - pintos-anon/blob - grading/userprog/read-bad-fd.c

   1 #include <stdio.h>
   2 #include <syscall.h>
   3
   4 int
   5 main (void)
   6 {
   7   char buf;
   8   printf ("(read-bad-fd) begin\n");
   9   read (0x20101234, &buf, 1);
  10   printf ("(read-bad-fd) end\n");
  11   return 0;
  12 }