pintos-os.org Git - pintos-anon/blob - src/lib/user/syscall-stub.h

   1 #ifndef __LIB_USER_SYSCALL_STUB_H
   2 #define __LIB_USER_SYSCALL_STUB_H
   3
   4 int syscall (int nr, ...);
   5
   6 #endif /* lib/user/syscall-stub.h */