Rev 3425 | Rev 3624 | Go to most recent revision | Show entire file | Ignore 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. */ |