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