PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <syscall.h>
Go to the source code of this file.
Functions | |
int | main (int, char *[]) |
void | _start (int argc, char *argv[]) |
void _start | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 7 of file entry.c.
References exit(), and main().
Referenced by paging_init().
int main | ( | int | , |
char * | [] | ||
) |