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. */ |