//kernel/trunk/generic/include/mm/as_arg.h |
---|
45,6 → 45,9 |
*/ |
void *base; |
/* |
* The following members are filled only by acceptor. |
*/ |
unsigned long size; /**< Size of memory being sent/accepted must match. */ |
int flags; /**< Address space area flags of sender and acceptor must match. */ |
} as_area_acptsnd_arg_t; |
//kernel/trunk/generic/include/mm/as.h |
---|
114,7 → 114,7 |
extern as_t *as_create(int flags); |
extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base); |
extern __address as_area_resize(as_t *as, __address address, size_t size, int flags); |
int as_area_send(task_id_t id, __address base, size_t size, int flags); |
int as_area_send(task_id_t id, __address base); |
extern void as_set_mapping(as_t *as, __address page, __address frame); |
extern int as_page_fault(__address page); |
extern void as_switch(as_t *old, as_t *new); |
//kernel/trunk/generic/include/syscall/syscall.h |
---|
40,8 → 40,8 |
SYS_FUTEX_WAKEUP, |
SYS_AS_AREA_CREATE, |
SYS_AS_AREA_RESIZE, |
SYS_AS_AREA_SHARE_APPROVE, |
SYS_AS_AREA_SHARE_PERFORM, |
SYS_AS_AREA_ACCEPT, |
SYS_AS_AREA_SEND, |
SYS_IPC_CALL_SYNC_FAST, |
SYS_IPC_CALL_SYNC, |
SYS_IPC_CALL_ASYNC_FAST, |