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

File:

• kernel/generic/include/mm/page.h (modified) (3 diffs)

kernel/generic/include/mm/page.h

@@ -37 +37 @@
 
 #include <typedefs.h>
+#include <proc/task.h>
 #include <mm/as.h>
 #include <arch/mm/page.h>
@@ -48 +49 @@
         void (* mapping_remove)(as_t *, uintptr_t);
         pte_t *(* mapping_find)(as_t *, uintptr_t, bool);
+        void (* mapping_make_global)(uintptr_t, size_t);
 } page_mapping_operations_t;
 
@@ -59 +61 @@
 extern void page_mapping_remove(as_t *, uintptr_t);
 extern pte_t *page_mapping_find(as_t *, uintptr_t, bool);
+extern void page_mapping_make_global(uintptr_t, size_t);
 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 **);
+extern sysarg_t sys_page_find_mapping(uintptr_t, void *);
 
 #endif