--- a/user/test/x86/vmexit.c
+++ b/user/test/x86/vmexit.c
@@ -1,4 +1,4 @@
-
+int printf(const char *,...);
 #include "printf.h"
 
 static inline unsigned long long rdtsc()