9 lines
134 B
C
9 lines
134 B
C
#ifndef USERPROG_SYSCALL_H
|
|
#define USERPROG_SYSCALL_H
|
|
|
|
typedef int pid_t;
|
|
|
|
void syscall_init (void);
|
|
|
|
#endif /* userprog/syscall.h */
|