Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
+++ kernel/generic/include/mm/as.h	(revision 7ba7c6d0898977b10d41e9c2ac96eda606bd8e2f)
@@ -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 */