Rev 1329 | Rev 1380 | Go to most recent revision | Show entire file | Ignore 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); |