a707c70ae8bfb075b0ef37f3b4100a0be1b26133
[pintos-anon] / src / lib / user / entry.c
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 }