Rev 3908 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3908 | Rev 3940 | ||
|---|---|---|---|
| Line 59... | Line 59... | ||
| 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 | ||
| 63 | extern uintptr_t hw_map(uintptr_t physaddr, size_t size); |
63 | extern uintptr_t hw_map(uintptr_t physaddr, size_t size); |
| 64 | extern void hw_area(uintptr_t *physaddr, pfn_t *frames); |
64 | extern void hw_area(void); |
| 65 | 65 | ||
| 66 | #endif |
66 | #endif |
| 67 | 67 | ||
| 68 | /** @} |
68 | /** @} |
| 69 | */ |
69 | */ |