Pintos: pintos/src/tests/userprog/create-bad-ptr.c Source File

00001 /* Passes a bad pointer to the create system call,
00002    which must cause the process to be terminated with exit code
00003    -1. */
00004 
00005 #include "tests/lib.h"
00006 #include "tests/main.h"
00007 
00008 void
00009 test_main (void) 
00010 {
00011   msg ("create(0x20101234): %d", create ((char *) 0x20101234, 0));
00012 }