Rev 2089 | Rev 3233 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2089 | Rev 2106 | ||
|---|---|---|---|
| Line 56... | Line 56... | ||
| 56 | 56 | ||
| 57 | extern void page_init(void); |
57 | extern void page_init(void); |
| 58 | extern void page_table_lock(as_t *as, bool lock); |
58 | extern void page_table_lock(as_t *as, bool lock); |
| 59 | extern void page_table_unlock(as_t *as, bool unlock); |
59 | extern void page_table_unlock(as_t *as, bool unlock); |
| 60 | extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, |
60 | extern void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, |
| 61 | int flags); |
61 | int flags); |
| 62 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
62 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
| 63 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
63 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
| 64 | extern pte_t *page_table_create(int flags); |
64 | extern pte_t *page_table_create(int flags); |
| 65 | extern void page_table_destroy(pte_t *page_table); |
65 | extern void page_table_destroy(pte_t *page_table); |
| 66 | extern void map_structure(uintptr_t s, size_t size); |
66 | extern void map_structure(uintptr_t s, size_t size); |