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

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
xen-unstable changeset:   16484:bb31c9325d5f86629de342a6515c6f28b92cf782
xen-unstable date:        Wed Nov 28 12:50:24 2007 +0000

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index de351265dba8a01638ab74fb3040a5bbd9349440..2a44555a869671cab527f50eec19358c3471a027 100644 (file)
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -787,7 +787,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 )