Pintos: pintos/src/tests/userprog/write-stdin.c Source File

00001 /* Try writing to fd 0 (stdin), 
00002    which may just fail or terminate the process with -1 exit
00003    code. */
00004 
00005 #include <syscall.h>
00006 #include "tests/lib.h"
00007 #include "tests/main.h"
00008 
00009 void
00010 test_main (void) 
00011 {
00012   char buf = 123;
00013   write (0, &buf, 1);
00014 }