| /kernel/trunk/generic/include/mm/as.h |
|---|
| 107,7 → 107,6 |
| extern void as_set_mapping(as_t *as, __address page, __address frame); |
| extern int as_page_fault(__address page); |
| extern void as_switch(as_t *old, as_t *new); |
| extern void as_free(as_t *as); |
| /* Interface to be implemented by architectures. */ |
| #ifndef as_install_arch |