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