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

diff --git a/palacios/include/palacios/vmm_sprintf.h b/palacios/include/palacios/vmm_sprintf.h
index dbba4fa..9e30dc6 100644
--- a/palacios/include/palacios/vmm_sprintf.h
+++ b/palacios/include/palacios/vmm_sprintf.h
@@ -22,14 +22,14 @@
 
 #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 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 vsnrprintf(char *str, size_t size, int radix, 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
 #define HD_DELIM_MASK   0xff00