Changes in kernel/generic/include/mm/page.h [c6ae4c2:235e6c7] 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>
@@ -66 +65 @@
 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