PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
lib
user
entry.c
Go to the documentation of this file.
1
#include <
syscall.h
>
2
3
int
main
(
int
,
char
*[]);
4
void
_start
(
int
argc,
char
*argv[]);
5
6
void
7
_start
(
int
argc,
char
*argv[])
8
{
9
exit
(
main
(argc, argv));
10
}
main
int main(int, char *[])
_start
void _start(int argc, char *argv[])
Definition:
entry.c:7
exit
void exit(int status)
Definition:
syscall.c:72
syscall.h
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2
1.9.2