Index: generic/include/print.h
===================================================================
--- generic/include/print.h	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/include/print.h	(revision 12c7f27b4fc44ac2d4bb7ef6ea741ea7a8ad1dff)
@@ -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