Rev 3431 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3431 | Rev 3624 | ||
|---|---|---|---|
| Line 219... | Line 219... | ||
| 219 | extern int as_area_destroy(as_t *as, uintptr_t address); |
219 | extern int as_area_destroy(as_t *as, uintptr_t address); |
| 220 | extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags); |
220 | extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags); |
| 221 | int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size, |
221 | int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size, |
| 222 | as_t *dst_as, uintptr_t dst_base, int dst_flags_mask); |
222 | as_t *dst_as, uintptr_t dst_base, int dst_flags_mask); |
| 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 | extern as_area_t *find_area_and_lock(as_t *, uintptr_t); |
|
| - | 225 | ||
| 224 | 226 | ||
| 225 | extern int as_area_get_flags(as_area_t *area); |
227 | 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); |
228 | 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); |
229 | extern size_t as_area_get_size(uintptr_t base); |
| 228 | 230 | ||