Rev 2093 | Rev 2106 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2093 | Rev 2094 | ||
---|---|---|---|
Line 144... | Line 144... | ||
144 | 144 | ||
145 | extern void as_init(void); |
145 | extern void as_init(void); |
146 | 146 | ||
147 | extern as_t *as_create(int flags); |
147 | extern as_t *as_create(int flags); |
148 | extern void as_destroy(as_t *as); |
148 | extern void as_destroy(as_t *as); |
149 | extern void as_switch(as_t *old, as_t *new); |
149 | extern void as_switch(as_t *old, as_t *replace); |
150 | extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate); |
150 | extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate); |
151 | 151 | ||
152 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, uintptr_t base, int attrs, |
152 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, uintptr_t base, int attrs, |
153 | mem_backend_t *backend, mem_backend_data_t *backend_data); |
153 | mem_backend_t *backend, mem_backend_data_t *backend_data); |
154 | extern int as_area_destroy(as_t *as, uintptr_t address); |
154 | extern int as_area_destroy(as_t *as, uintptr_t address); |