PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
int | main (int argc UNUSED, char *argv[]) |
int main | ( | int argc | UNUSED, |
char * | argv[] | ||
) |
Definition at line 6 of file main.c.
References msg(), random_init(), test_main(), and test_name.