Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/genarch/include/mm/page_pt.h	(revision 90924df6f05e59a15f5187cb8b525c6bb8351392)
@@ -129,5 +129,5 @@
 
 extern void page_mapping_insert_pt(as_t *, uintptr_t, uintptr_t, unsigned int);
-extern pte_t *page_mapping_find_pt(as_t *, uintptr_t);
+extern pte_t *page_mapping_find_pt(as_t *, uintptr_t, bool);
 
 #endif