| 38,7 → 38,6 |
|---|
| |
| #ifdef KERNEL |
| |
| #include <mm/as_arg.h> |
| #include <arch/mm/page.h> |
| #include <arch/mm/as.h> |
| #include <arch/mm/asid.h> |
| 128,12 → 127,11 |
|---|
| extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs); |
| 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); |
| extern void as_switch(as_t *old, as_t *new); |
| extern void as_free(as_t *as); |
| int as_area_steal(task_t *src_task, __address src_base, size_t acc_size, __address dst_base); |
| extern int as_area_steal(task_t *src_task, __address src_base, size_t acc_size, __address dst_base); |
| extern size_t as_get_size(__address base); |
| |
| /* Interface to be implemented by architectures. */ |