Rev 1417 | Rev 1424 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1417 | Rev 1423 | ||
---|---|---|---|
Line 143... | Line 143... | ||
143 | mem_backend_t *backend, void **backend_data); |
143 | mem_backend_t *backend, void **backend_data); |
144 | extern int as_area_resize(as_t *as, __address address, size_t size, int flags); |
144 | extern int as_area_resize(as_t *as, __address address, size_t size, int flags); |
145 | extern int as_area_destroy(as_t *as, __address address); |
145 | extern int as_area_destroy(as_t *as, __address address); |
146 | extern int as_area_get_flags(as_area_t *area); |
146 | extern int as_area_get_flags(as_area_t *area); |
147 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
147 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
- | 148 | extern bool as_area_check_access(as_area_t *area, pf_access_t access); |
|
148 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
149 | extern int as_page_fault(__address page, pf_access_t access, istate_t *istate); |
149 | extern void as_switch(as_t *old, as_t *new); |
150 | extern void as_switch(as_t *old, as_t *new); |
150 | extern void as_free(as_t *as); |
151 | extern void as_free(as_t *as); |
151 | extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size, |
152 | extern int as_area_share(as_t *src_as, __address src_base, size_t acc_size, |
152 | __address dst_base, int dst_flags_mask); |
153 | __address dst_base, int dst_flags_mask); |