1 #ifndef LIB_USER_SYSCALL_H
2 #define LIB_USER_SYSCALL_H 1
9 void halt (void) NO_RETURN;
10 void exit (int status) NO_RETURN;
11 pid_t exec (const char *);
13 bool create (const char *);
14 bool remove (const char *);
15 int open (const char *);
16 int read (int fd, void *, unsigned);
17 int write (int fd, const void *, unsigned);
20 #endif /* lib/user/syscall.h */