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

File:

• kernel/generic/include/mm/page.h (modified) (2 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>
@@ -65 +66 @@
 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