Index: generic/include/mm/frame.h
===================================================================
--- generic/include/mm/frame.h	(revision 961b5f01ab0baf25db1ae2fde08e1dd39e0e62bc)
+++ generic/include/mm/frame.h	(revision dfd9186bebee3b39d74d4a9f26b1aaffd4bec37e)
@@ -109,3 +109,10 @@
 extern void frame_release(frame_t *frame);
 
+
+/*
+ * Console functions
+ */
+extern void zone_print_list(void);
+extern void zone_print_one(index_t index);
+
 #endif
