Rev 2183 | Rev 3222 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2183 | Rev 2556 | ||
|---|---|---|---|
| Line 270... | Line 270... | ||
| 270 | int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size, |
270 | int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size, |
| 271 | as_t *dst_as, uintptr_t dst_base, int dst_flags_mask); |
271 | as_t *dst_as, uintptr_t dst_base, int dst_flags_mask); |
| 272 | 272 | ||
| 273 | extern int as_area_get_flags(as_area_t *area); |
273 | extern int as_area_get_flags(as_area_t *area); |
| 274 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
274 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
| 275 | extern size_t as_get_size(uintptr_t base); |
275 | extern size_t as_area_get_size(uintptr_t base); |
| 276 | extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
276 | extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
| 277 | extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |
277 | extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |
| 278 | 278 | ||
| 279 | 279 | ||
| 280 | /* Interface to be implemented by architectures. */ |
280 | /* Interface to be implemented by architectures. */ |