Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision 07c66cf78362ee9aa313f660d3789cbed9c001e3)
+++ kernel/genarch/include/mm/page_pt.h	(revision eef1b0317f3802b67fa2a31033fa2973fbaab4e7)
@@ -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