1 #define SBRK_ERROR ((char *)-1)
2
3 struct stat;
4
5
6 int fork(void);
7 int exit(int) __attribute__((noreturn));
8 int wait(int*);
9 int pipe(int*);
10 int write(int, const void*, int);
11 int read(int, void*, int);
12 int close(int);
13 int kill(int);
14 int exec(const char*, char**);
15 int open(const char*, int);
16 int mknod(const char*, short, short);
17 int unlink(const char*);
18 int fstat(int fd, struct stat*);
19 int link(const char*, const char*);
20 int mkdir(const char*);
21 int chdir(const char*);
22 int dup(int);
23 int getpid(void);
24 char* sys_sbrk(int,int);
25 int pause(int);
26 int uptime(void);
27
28
29 int stat(const char*, struct stat*);
30 char* strcpy(char*, const char*);
31 void *memmove(void*, const void*, int);
32 char* strchr(const char*, char c);
33 int strcmp(const char*, const char*);
34 char* gets(char*, int max);
35 uint strlen(const char*);
36 void* memset(void*, int, uint);
37 int atoi(const char*);
38 int memcmp(const void *, const void *, uint);
39 void *memcpy(void *, const void *, uint);
40 char* sbrk(int);
41 char* sbrklazy(int);
42
43
44 void fprintf(int, const char*, ...) __attribute__ ((format (printf, 2, 3)));
45 void printf(const char*, ...) __attribute__ ((format (printf, 1, 2)));
46
47
48 void* malloc(uint);
49 void free(void*);