Pintos: pintos/src/tests/userprog/wait-bad-pid.c Source File

00001 /* Waits for an invalid pid.  This may fail or terminate the
00002    process with -1 exit code. */
00003 
00004 #include <syscall.h>
00005 #include "tests/main.h"
00006 
00007 void
00008 test_main (void) 
00009 {
00010   wait ((pid_t) 0x0c020301);
00011 }