random: Fix behavior of kernel option "-rs".
[pintos-anon] / 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 }