pintos-os.org Git - pintos-anon/blob - 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 }