Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision 0ff03f3a9f7a35d56bf50ddb10304d4fe756524d)
+++ kernel/generic/include/mm/page.h	(revision 235e6c77c5e5c577f9057bd1791cbfa4f6d7344c)
@@ -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;
 
Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 0ff03f3a9f7a35d56bf50ddb10304d4fe756524d)
+++ kernel/generic/src/mm/page.c	(revision 235e6c77c5e5c577f9057bd1791cbfa4f6d7344c)
@@ -169,5 +169,5 @@
 	ASSERT(page_mapping_operations->mapping_find);
 	
-	return page_mapping_operations->mapping_find(as, page);
+	return page_mapping_operations->mapping_find(as, page, nolock);
 }