| 31,7 → 31,6 |
|---|
| |
| #include <types.h> |
| #include <arch/mm/page.h> |
| #include <task.h> |
| |
| #define NULL 0 |
| #define getpagesize() (PAGE_SIZE) |
| 38,10 → 37,6 |
|---|
| |
| extern ssize_t write(int fd, const void * buf, size_t count); |
| extern void _exit(int status); |
| extern void *as_area_create(void *address, size_t size, int flags); |
| extern void *as_area_resize(void *address, size_t size, int flags); |
| extern int as_area_accept(task_id_t id, void *base, size_t size, int flags); |
| extern int as_area_send(task_id_t id, void *base); |
| void *sbrk(ssize_t incr); |
| |
| #endif |