Rev 1425 | Rev 1468 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1425 | Rev 1428 | ||
|---|---|---|---|
| Line 166... | Line 166... | ||
| 166 | extern int as_area_get_flags(as_area_t *area); |
166 | extern int as_area_get_flags(as_area_t *area); |
| 167 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
167 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
| 168 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
168 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
| 169 | extern void as_switch(as_t *old, as_t *new); |
169 | extern void as_switch(as_t *old, as_t *new); |
| 170 | extern void as_free(as_t *as); |
170 | extern void as_free(as_t *as); |
| 171 | extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size, |
171 | int as_area_share(as_t *src_as, __address src_base, size_t acc_size, |
| 172 | __address dst_base, int dst_flags_mask); |
172 | as_t *dst_as, __address dst_base, int dst_flags_mask); |
| 173 | extern size_t as_get_size(__address base); |
173 | extern size_t as_get_size(__address base); |
| 174 | extern int used_space_insert(as_area_t *a, __address page, count_t count); |
174 | extern int used_space_insert(as_area_t *a, __address page, count_t count); |
| 175 | extern int used_space_remove(as_area_t *a, __address page, count_t count); |
175 | extern int used_space_remove(as_area_t *a, __address page, count_t count); |
| 176 | 176 | ||
| 177 | /* Interface to be implemented by architectures. */ |
177 | /* Interface to be implemented by architectures. */ |