Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision 3abfe9a8c876edadf93ecfc3c4742d4266d6e1b5)
+++ kernel/generic/include/mm/page.h	(revision 4b3da810008af3f987a2e4e784105f486c2dea43)
@@ -37,4 +37,5 @@
 
 #include <typedefs.h>
+#include <proc/task.h>
 #include <mm/as.h>
 #include <memstr.h>
@@ -62,4 +63,6 @@
 extern uintptr_t hw_map(uintptr_t, size_t);
 
+extern sysarg_t sys_page_find_mapping(uintptr_t, uintptr_t *);
+
 #endif
 
Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 3abfe9a8c876edadf93ecfc3c4742d4266d6e1b5)
+++ kernel/generic/include/syscall/syscall.h	(revision 4b3da810008af3f987a2e4e784105f486c2dea43)
@@ -61,4 +61,6 @@
 	SYS_AS_GET_UNMAPPED_AREA,
 	
+	SYS_PAGE_FIND_MAPPING,
+	
 	SYS_IPC_CALL_SYNC_FAST,
 	SYS_IPC_CALL_SYNC_SLOW,