Changes in kernel/generic/include/mm/page.h [9d58539:8cbf1c3] in mainline

File:

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

kernel/generic/include/mm/page.h

@@ -65 +65 @@
 extern void page_table_destroy(pte_t *);
 
-extern int page_find_mapping(uintptr_t, void **);
-extern sysarg_t sys_page_find_mapping(uintptr_t, void *);
+extern int page_find_mapping(uintptr_t, uintptr_t *);
+extern sysarg_t sys_page_find_mapping(uintptr_t, uintptr_t *);
 
 #endif