Changes in kernel/generic/include/mm/page.h [8757be86:c868e2d] in mainline

File:

• kernel/generic/include/mm/page.h (modified) (1 diff)

kernel/generic/include/mm/page.h

@@ -64 +64 @@
 extern pte_t *page_table_create(unsigned int);
 extern void page_table_destroy(pte_t *);
+extern void map_structure(uintptr_t, size_t);
+
+extern uintptr_t hw_map(uintptr_t, size_t);
 
 extern int page_find_mapping(uintptr_t, void **);