Rev 940 | Rev 977 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 940 | Rev 973 | ||
|---|---|---|---|
| Line 105... | Line 105... | ||
| 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 void as_set_mapping(as_t *as, __address page, __address frame); |
107 | extern void as_set_mapping(as_t *as, __address page, __address frame); |
| 108 | extern int as_page_fault(__address page); |
108 | extern int as_page_fault(__address page); |
| 109 | extern void as_switch(as_t *old, as_t *new); |
109 | extern void as_switch(as_t *old, as_t *new); |
| - | 110 | extern void as_free(as_t *as); |
|
| 110 | 111 | ||
| 111 | /* Interface to be implemented by architectures. */ |
112 | /* Interface to be implemented by architectures. */ |
| 112 | #ifndef as_install_arch |
113 | #ifndef as_install_arch |
| 113 | extern void as_install_arch(as_t *as); |
114 | extern void as_install_arch(as_t *as); |
| 114 | #endif /* !def as_install_arch */ |
115 | #endif /* !def as_install_arch */ |