Pintos: pintos/src/lib/user/entry.c Source File

00001 #include <syscall.h>
00002 
00003 int main (int, char *[]);
00004 void _start (int argc, char *argv[]);
00005 
00006 void
00007 _start (int argc, char *argv[]) 
00008 {
00009   exit (main (argc, argv));
00010 }