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 |