X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_sprintf.c;h=b80f3faacd7eabf818f422fc4ea7802baf02d8a0;hb=e5e029575affad90c19ca038a3b780820535d421;hp=c573e3ae62d6ea1359464550a7316445f72cf9b4;hpb=3a4e54ec208ea3589963b410d2d73292bbc4a8fe;p=palacios.git

diff --git a/palacios/src/palacios/vmm_sprintf.c b/palacios/src/palacios/vmm_sprintf.c
index c573e3a..b80f3fa 100644
--- a/palacios/src/palacios/vmm_sprintf.c
+++ b/palacios/src/palacios/vmm_sprintf.c
@@ -91,7 +91,6 @@ struct snprintf_arg {
     ( defined(CONFIG_BUILT_IN_SPRINTF) ||	      \
       defined(CONFIG_BUILT_IN_SNPRINTF) ||	      \
       defined(CONFIG_BUILT_IN_VSPRINTF) ||	      \
-      defined(CONFIG_BUILT_IN_VSNPRINTF) ||	      \
       defined(CONFIG_BUILT_IN_VSNRPRINTF ))
 
 static char * ksprintn(char * nbuf, uint64_t num, int base, int *len, int upper);
@@ -146,7 +145,7 @@ int snprintf(char * str, size_t size, const char * format, ...) {
 #endif
 
 
-#ifdef CONFIG_BUILT_IN_VSNPRINTF 
+
 /*
  * Scaled down version of vsnprintf(3).
  */
@@ -162,7 +161,7 @@ int vsnprintf(char * str, size_t size, const char * format, va_list ap) {
     }
     return (retval);
 }
-#endif 
+
 
 
 #ifdef CONFIG_BUILT_IN_VSNRPRINTF