Rev 2787 | Rev 3036 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2787 | Rev 3013 | ||
|---|---|---|---|
| Line 271... | Line 271... | ||
| 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_area_get_size(uintptr_t base); |
275 | extern size_t as_area_get_size(uintptr_t base); |
| - | 276 | extern int as_debug_write(uintptr_t va, void *data, size_t n); |
|
| 276 | extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
277 | 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); |
278 | extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |
| 278 | 279 | ||
| 279 | 280 | ||
| 280 | /* Interface to be implemented by architectures. */ |
281 | /* Interface to be implemented by architectures. */ |