Rev 1178 | Rev 1235 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1178 | Rev 1227 | ||
|---|---|---|---|
| Line 110... | Line 110... | ||
| 110 | extern link_t inactive_as_with_asid_head; |
110 | extern link_t inactive_as_with_asid_head; |
| 111 | 111 | ||
| 112 | extern void as_init(void); |
112 | extern void as_init(void); |
| 113 | extern as_t *as_create(int flags); |
113 | extern as_t *as_create(int flags); |
| 114 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base); |
114 | extern as_area_t *as_area_create(as_t *as, int flags, size_t size, __address base); |
| 115 | extern __address as_remap(as_t *as, __address address, size_t size, int flags); |
115 | extern __address as_area_resize(as_t *as, __address address, size_t size, int flags); |
| 116 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
116 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
| 117 | extern int as_page_fault(__address page); |
117 | extern int as_page_fault(__address page); |
| 118 | extern void as_switch(as_t *old, as_t *new); |
118 | extern void as_switch(as_t *old, as_t *new); |
| 119 | extern void as_free(as_t *as); |
119 | extern void as_free(as_t *as); |
| 120 | 120 | ||