| 122,7 → 122,8 |
|---|
| extern void as_init(void); |
| extern as_t *as_create(int flags); |
| extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs); |
| extern __address as_area_resize(as_t *as, __address address, size_t size, int flags); |
| extern int as_area_resize(as_t *as, __address address, size_t size, int flags); |
| extern int as_area_destroy(as_t *as, __address address); |
| int as_area_send(task_id_t dst_id, __address base); |
| extern void as_set_mapping(as_t *as, __address page, __address frame); |
| extern int as_page_fault(__address page, istate_t *istate); |
| 137,6 → 138,7 |
|---|
| /* Address space area related syscalls. */ |
| extern __native sys_as_area_create(__address address, size_t size, int flags); |
| extern __native sys_as_area_resize(__address address, size_t size, int flags); |
| extern __native sys_as_area_destroy(__address address); |
| extern __native sys_as_area_accept(as_area_acptsnd_arg_t *uspace_accept_arg); |
| extern __native sys_as_area_send(as_area_acptsnd_arg_t *uspace_send_arg); |
| |