Rev 3425 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3425 | Rev 3431 | ||
---|---|---|---|
Line 223... | Line 223... | ||
223 | extern int as_area_change_flags(as_t *as, int flags, uintptr_t address); |
223 | extern int as_area_change_flags(as_t *as, int flags, uintptr_t address); |
224 | 224 | ||
225 | extern int as_area_get_flags(as_area_t *area); |
225 | extern int as_area_get_flags(as_area_t *area); |
226 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
226 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
227 | extern size_t as_area_get_size(uintptr_t base); |
227 | extern size_t as_area_get_size(uintptr_t base); |
- | 228 | ||
- | 229 | #ifdef CONFIG_UDEBUG |
|
228 | extern int as_area_make_writeable(uintptr_t address); |
230 | extern int as_area_make_writeable(uintptr_t address); |
229 | extern int as_debug_write(uintptr_t va, void *data, size_t n); |
231 | extern int as_debug_write(uintptr_t va, void *data, size_t n); |
- | 232 | #endif |
|
- | 233 | ||
230 | extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
234 | extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count); |
231 | extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |
235 | extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count); |
232 | 236 | ||
233 | 237 | ||
234 | /* Interface to be implemented by architectures. */ |
238 | /* Interface to be implemented by architectures. */ |