Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 26678e5a1f0f0a6dda91a9e89a03aa3ca86e447c)
+++ kernel/generic/include/mm/as.h	(revision 64c2ad54353df91f481dd1d3d75da41bb50d72ea)
@@ -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 */