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