Rev 1411 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1411 | Rev 1468 | ||
|---|---|---|---|
| Line 83... | Line 83... | ||
| 83 | extern void page_table_unlock(as_t *as, bool unlock); |
83 | extern void page_table_unlock(as_t *as, bool unlock); |
| 84 | extern void page_mapping_insert(as_t *as, __address page, __address frame, int flags); |
84 | extern void page_mapping_insert(as_t *as, __address page, __address frame, int flags); |
| 85 | extern void page_mapping_remove(as_t *as, __address page); |
85 | extern void page_mapping_remove(as_t *as, __address page); |
| 86 | extern pte_t *page_mapping_find(as_t *as, __address page); |
86 | extern pte_t *page_mapping_find(as_t *as, __address page); |
| 87 | extern pte_t *page_table_create(int flags); |
87 | extern pte_t *page_table_create(int flags); |
| - | 88 | extern void page_table_destroy(pte_t *page_table); |
|
| 88 | extern void map_structure(__address s, size_t size); |
89 | extern void map_structure(__address s, size_t size); |
| 89 | extern __address hw_map(__address physaddr, size_t size); |
90 | extern __address hw_map(__address physaddr, size_t size); |
| 90 | 91 | ||
| 91 | #endif |
92 | #endif |