Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/include/mm/as.h	(revision b0b2ac1f84a3b0e8bfe6e96b3a01b9159ef4239f)
@@ -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 da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/include/mm/page.h	(revision b0b2ac1f84a3b0e8bfe6e96b3a01b9159ef4239f)
@@ -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);