X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_sprintf.c;h=c1ca717909dac77765d614c827de9b71fe88b5e2;hp=cc8b79e5b6824d8051ec3188f5c52876eafe4cd3;hb=051d39a706ccd24493cc3a0a1558a071f5673ab5;hpb=2304917404cd287c4741d9f85ff8a280e248c7d0

diff --git a/palacios/src/palacios/vmm_sprintf.c b/palacios/src/palacios/vmm_sprintf.c
index cc8b79e..c1ca717 100644
--- a/palacios/src/palacios/vmm_sprintf.c
+++ b/palacios/src/palacios/vmm_sprintf.c
@@ -86,6 +86,14 @@ struct snprintf_arg {
 };
 
 
+
+#if defined(CONFIG_BUILT_IN_STDIO) &&		      \
+    ( 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);
 static void snprintf_func(int ch, void * arg);
 static int kvprintf(char const * fmt, void (*func)(int, void *), void * arg, int radix, va_list ap);
@@ -545,6 +553,8 @@ number:
 }
 
 
+#endif // CONFIG_BUILT_IN_STDIO
+
 
 
 void v3_hexdump(const void * ptr, int length, const char * hdr, int flags) {