Fix string length check for vsnprintf() in debugtrace_printk().

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 164572ffca339d8b063f53c952a6e4026a69f6ed..b2d1a7d820b75e69c6fd185e8972d337e1612233 100644 (file)
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -835,7 +835,7 @@ void debugtrace_printk(const char *fmt, ...)
     snprintf(buf, sizeof(buf), "%u ", ++count);
 
     va_start(args, fmt);
-    (void)vsnprintf(buf + strlen(buf), sizeof(buf), fmt, args);
+    (void)vsnprintf(buf + strlen(buf), sizeof(buf) - strlen(buf), fmt, args);
     va_end(args);
 
     if ( debugtrace_send_to_console )