Rev 1329 | Rev 1380 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1329 | Rev 1358 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #define AS_AREA_DEVICE 8 |
36 | #define AS_AREA_DEVICE 8 |
37 | 37 | ||
38 | 38 | ||
39 | #ifdef KERNEL |
39 | #ifdef KERNEL |
40 | 40 | ||
41 | #include <mm/as_arg.h> |
- | |
42 | #include <arch/mm/page.h> |
41 | #include <arch/mm/page.h> |
43 | #include <arch/mm/as.h> |
42 | #include <arch/mm/as.h> |
44 | #include <arch/mm/asid.h> |
43 | #include <arch/mm/asid.h> |
45 | #include <arch/types.h> |
44 | #include <arch/types.h> |
46 | #include <typedefs.h> |
45 | #include <typedefs.h> |
Line 126... | Line 125... | ||
126 | extern void as_init(void); |
125 | extern void as_init(void); |
127 | extern as_t *as_create(int flags); |
126 | extern as_t *as_create(int flags); |
128 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs); |
127 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base, int attrs); |
129 | extern int as_area_resize(as_t *as, __address address, size_t size, int flags); |
128 | extern int as_area_resize(as_t *as, __address address, size_t size, int flags); |
130 | extern int as_area_destroy(as_t *as, __address address); |
129 | extern int as_area_destroy(as_t *as, __address address); |
131 | int as_area_send(task_id_t dst_id, __address base); |
- | |
132 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
130 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
133 | extern int as_page_fault(__address page, istate_t *istate); |
131 | extern int as_page_fault(__address page, istate_t *istate); |
134 | extern void as_switch(as_t *old, as_t *new); |
132 | extern void as_switch(as_t *old, as_t *new); |
135 | extern void as_free(as_t *as); |
133 | extern void as_free(as_t *as); |
136 | int as_area_steal(task_t *src_task, __address src_base, size_t acc_size, __address dst_base); |
134 | extern int as_area_steal(task_t *src_task, __address src_base, size_t acc_size, __address dst_base); |
137 | extern size_t as_get_size(__address base); |
135 | extern size_t as_get_size(__address base); |
138 | 136 | ||
139 | /* Interface to be implemented by architectures. */ |
137 | /* Interface to be implemented by architectures. */ |
140 | #ifndef as_install_arch |
138 | #ifndef as_install_arch |
141 | extern void as_install_arch(as_t *as); |
139 | extern void as_install_arch(as_t *as); |