Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision 0ff03f3a9f7a35d56bf50ddb10304d4fe756524d)
+++ kernel/generic/include/mm/page.h	(revision 773f1887dd14935317366876abfc08b830ea221c)
@@ -47,5 +47,5 @@
 	void (* mapping_insert)(as_t *, uintptr_t, uintptr_t, unsigned int);
 	void (* mapping_remove)(as_t *, uintptr_t);
-	pte_t *(* mapping_find)(as_t *, uintptr_t);
+	pte_t *(* mapping_find)(as_t *, uintptr_t, bool);
 } page_mapping_operations_t;