PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void | test_main (void) |
Passes a bad pointer to the create system call, which must cause the process to be terminated with exit code -1. More... | |
void test_main | ( | void | ) |
Passes a bad pointer to the create system call, which must cause the process to be terminated with exit code -1.
Definition at line 9 of file create-bad-ptr.c.
References create(), and msg().