| 29,6 → 29,7 |
|---|
| #ifndef __AS_H__ |
| #define __AS_H__ |
| |
| #include <mm/as_arg.h> |
| #include <arch/mm/page.h> |
| #include <arch/mm/as.h> |
| #include <arch/mm/asid.h> |
| 113,6 → 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); |
| 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); |
| 123,4 → 125,10 |
|---|
| extern void as_install_arch(as_t *as); |
| #endif /* !def as_install_arch */ |
| |
| /* 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_accept(as_area_acptsnd_arg_t *uspace_accept_arg); |
| extern __native sys_as_area_send(as_area_acptsnd_arg_t *uspace_send_arg); |
| |
| #endif |