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   main (argc, argv);
  10   exit (0);
  11 }