Index: generic/include/mm/frame.h
===================================================================
--- generic/include/mm/frame.h	(revision 0132630e277cac256d68387347726af617f4270d)
+++ 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
