Rev 1415 | Rev 1423 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1415 | Rev 1417 | ||
|---|---|---|---|
| Line 146... | Line 146... | ||
| 146 | extern int as_area_get_flags(as_area_t *area); |
146 | extern int as_area_get_flags(as_area_t *area); |
| 147 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
147 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
| 148 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
148 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
| 149 | extern void as_switch(as_t *old, as_t *new); |
149 | extern void as_switch(as_t *old, as_t *new); |
| 150 | extern void as_free(as_t *as); |
150 | extern void as_free(as_t *as); |
| 151 | extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size, __address dst_base); |
151 | extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size, |
| - | 152 | __address dst_base, int dst_flags_mask); |
|
| 152 | extern size_t as_get_size(__address base); |
153 | extern size_t as_get_size(__address base); |
| 153 | extern int used_space_insert(as_area_t *a, __address page, count_t count); |
154 | extern int used_space_insert(as_area_t *a, __address page, count_t count); |
| 154 | extern int used_space_remove(as_area_t *a, __address page, count_t count); |
155 | extern int used_space_remove(as_area_t *a, __address page, count_t count); |
| 155 | 156 | ||
| 156 | /* Interface to be implemented by architectures. */ |
157 | /* Interface to be implemented by architectures. */ |