2006-09-06 03:25:41 +02:00
|
|
|
// system calls
|
2006-07-16 17:36:31 +02:00
|
|
|
int fork(void);
|
|
|
|
int exit(void) __attribute__((noreturn));
|
|
|
|
int wait(void);
|
|
|
|
int pipe(int*);
|
|
|
|
int write(int, void*, int);
|
|
|
|
int read(int, void*, int);
|
|
|
|
int close(int);
|
|
|
|
int kill(int);
|
2006-09-06 19:27:19 +02:00
|
|
|
int exec(char*, char**);
|
|
|
|
int open(char*, int);
|
2007-08-24 22:54:23 +02:00
|
|
|
int mknod(char*, short, short);
|
2006-09-06 19:27:19 +02:00
|
|
|
int unlink(char*);
|
|
|
|
int fstat(int fd, struct stat*);
|
|
|
|
int link(char*, char*);
|
|
|
|
int mkdir(char*);
|
|
|
|
int chdir(char*);
|
2006-08-20 05:08:54 +02:00
|
|
|
int dup(int);
|
2006-08-23 03:09:24 +02:00
|
|
|
int getpid();
|
2006-09-06 19:27:19 +02:00
|
|
|
char* sbrk(int);
|
2006-08-12 13:38:57 +02:00
|
|
|
|
2006-09-06 03:25:41 +02:00
|
|
|
// ulib.c
|
2006-09-06 19:27:19 +02:00
|
|
|
int stat(char*, struct stat*);
|
2006-07-16 18:00:03 +02:00
|
|
|
char* strcpy(char*, char*);
|
2007-08-22 08:01:32 +02:00
|
|
|
void *memmove(void*, void*, int);
|
2006-09-06 19:27:19 +02:00
|
|
|
char* strchr(const char*, char c);
|
|
|
|
int strcmp(const char*, const char*);
|
|
|
|
void printf(int, char*, ...);
|
|
|
|
char* gets(char*, int max);
|
2007-08-08 11:30:48 +02:00
|
|
|
uint strlen(char*);
|
|
|
|
void* memset(void*, int, uint);
|
2006-09-06 19:27:19 +02:00
|
|
|
void* malloc(uint);
|
|
|
|
void free(void*);
|
2007-08-08 10:56:09 +02:00
|
|
|
int atoi(const char*);
|