Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 26678e5a1f0f0a6dda91a9e89a03aa3ca86e447c)
+++ kernel/generic/include/mm/as.h	(revision 8ce84991b196fbdd0b7d639a36b146cf784f38fb)
@@ -217,4 +217,7 @@
 extern unative_t sys_as_area_destroy(uintptr_t address);
 
+/* Introspection functions. */
+extern void as_print(as_t *as);
+
 #endif /* KERNEL */