sprintf configuration fixes

[palacios.git] / palacios / src / palacios / vmm_sprintf.c

diff --git a/palacios/src/palacios/vmm_sprintf.c b/palacios/src/palacios/vmm_sprintf.c
index cc8b79e..c1ca717 100644 (file)
--- 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) {