X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_sprintf.h;h=9e30dc62f6ed7df7780929fe0c361d9ab21a9f3b;hp=df8ac6f2e04ea7dbf41cf2b95585be6565566d9e;hb=d9557a9bea506fd8b40acd7a44a16b46e2a97848;hpb=8f7ca44fc807d2e015c135153ee631ef2001fe30

diff --git a/palacios/include/palacios/vmm_sprintf.h b/palacios/include/palacios/vmm_sprintf.h
index df8ac6f..9e30dc6 100644
--- a/palacios/include/palacios/vmm_sprintf.h
+++ b/palacios/include/palacios/vmm_sprintf.h
@@ -22,13 +22,13 @@
 
 #ifdef __V3VEE__
 #include <palacios/vmm_types.h>
-
+#include <stdarg.h>
 
 int sprintf(char *buf, const char *cfmt, ...);
 //        __attribute__ ((format (printf, 1, 2)));
 //int vsprintf(char *buf, const char * cfmt, va_list ap);
 int snprintf(char *str, size_t size, const char * fmt, ...);
-//int vsnprintf(char *str, size_t size, const char * fmt, va_list ap);
+int vsnprintf(char *str, size_t size, const char * fmt, va_list ap);
 //int vsnrprintf(char *str, size_t size, int radix, const char * fmt, va_list ap);
 
 #define HD_COLUMN_MASK  0xff