Pintos: pintos/src/userprog/syscall.h Source File

00001 #ifndef USERPROG_SYSCALL_H
00002 //101516485726693
00003 #define USERPROG_SYSCALL_H
00004 
00005 void syscall_init (void);
00006 
00007 #endif /* userprog/syscall.h */