1 int fork(void); 2 int exit(void) __attribute__((noreturn)); 3 int wait(void); 4 int cons_putc(int); 5 int pipe(int*); 6 int write(int, void*, int); 7 int read(int, void*, int); 8 int close(int); 9 int block(void); 10 int kill(int); 11 int panic(char*); 12 int cons_puts(char*); 13 int exec(char *, char **); 14 int open(char *, int); 15 int mknod (char*,short,short,short); 16 int unlink (char*); 17 struct stat; 18 int fstat (int fd, struct stat *stat); 19 int link(char *, char *); 20 21 int puts(char*); 22 char* strcpy(char*, char*); 23 void printf(int fd, char *fmt, ...); 24 char *gets(char *, int max); 25 unsigned int strlen(char *); 26 void * memset(void *dst, int c, unsigned int n); 27