Index: generic/include/print.h
===================================================================
--- generic/include/print.h	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/include/print.h	(revision 50de918ee03e2d69dce7bc2641ba60d65d2fcbf7)
@@ -38,8 +38,10 @@
 #define INT64	8
 
-extern void printf(const char *fmt, ...);
+extern int printf(const char *fmt, ...);
 
 /* We need this address in spinlock to avoid deadlock in deadlock detection */
 extern spinlock_t printflock;
 
+#define EOF (-1)
+
 #endif