Rev 973 | Rev 1044 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 973 | Rev 977 | ||
|---|---|---|---|
| Line 102... | Line 102... | ||
| 102 | extern link_t inactive_as_with_asid_head; |
102 | extern link_t inactive_as_with_asid_head; |
| 103 | 103 | ||
| 104 | extern void as_init(void); |
104 | extern void as_init(void); |
| 105 | extern as_t *as_create(int flags); |
105 | extern as_t *as_create(int flags); |
| 106 | extern as_area_t *as_area_create(as_t *as, as_area_type_t type, size_t size, __address base); |
106 | extern as_area_t *as_area_create(as_t *as, as_area_type_t type, size_t size, __address base); |
| - | 107 | extern __address as_remap(as_t *as, __address address, size_t size, int flags); |
|
| 107 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
108 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
| 108 | extern int as_page_fault(__address page); |
109 | extern int as_page_fault(__address page); |
| 109 | extern void as_switch(as_t *old, as_t *new); |
110 | extern void as_switch(as_t *old, as_t *new); |
| 110 | extern void as_free(as_t *as); |
111 | extern void as_free(as_t *as); |
| 111 | 112 | ||