diff -r 000000000000 -r 3c57a6fd0a13 bl/print.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bl/print.h	Tue Jan 31 19:20:36 2012 +0000
@@ -0,0 +1,6 @@
+#ifndef BL_PRINT_H
+#define BL_PRINT_H
+
+void bl_set_print_handlers(void);
+
+#endif	/* BL_PRINT_H */