Rev 3386 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3386 | Rev 4153 | ||
---|---|---|---|
Line 57... | Line 57... | ||
57 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
57 | extern void page_mapping_remove(as_t *as, uintptr_t page); |
58 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
58 | extern pte_t *page_mapping_find(as_t *as, uintptr_t page); |
59 | extern pte_t *page_table_create(int flags); |
59 | extern pte_t *page_table_create(int flags); |
60 | extern void page_table_destroy(pte_t *page_table); |
60 | extern void page_table_destroy(pte_t *page_table); |
61 | extern void map_structure(uintptr_t s, size_t size); |
61 | extern void map_structure(uintptr_t s, size_t size); |
- | 62 | ||
62 | extern uintptr_t hw_map(uintptr_t physaddr, size_t size); |
63 | extern uintptr_t hw_map(uintptr_t physaddr, size_t size); |
63 | 64 | ||
64 | #endif |
65 | #endif |
65 | 66 | ||
66 | /** @} |
67 | /** @} |