Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 313b6172c4a7557560500d83509400c7cf95dc2f)
+++ kernel/generic/include/mm/as.h	(revision e3ce39ba96f14df6f6296db22ceb59a967b71733)
@@ -147,4 +147,5 @@
 	void (* page_table_lock)(as_t *, bool);
 	void (* page_table_unlock)(as_t *, bool);
+	bool (* page_table_locked)(as_t *);
 } as_operations_t;
 
Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision 313b6172c4a7557560500d83509400c7cf95dc2f)
+++ kernel/generic/include/mm/page.h	(revision e3ce39ba96f14df6f6296db22ceb59a967b71733)
@@ -52,4 +52,5 @@
 extern void page_table_lock(as_t *, bool);
 extern void page_table_unlock(as_t *, bool);
+extern bool page_table_locked(as_t *);
 extern void page_mapping_insert(as_t *, uintptr_t, uintptr_t, unsigned int);
 extern void page_mapping_remove(as_t *, uintptr_t);