Fix printing month in printk prefix (1-12 rather than 0-11).

Signed-off-by: Atsushi SAKAI <sakaia@jp.fujitsu.com>

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index e47225e7078514385fa0e9a409c0df1a1d620a73..5d47071cd6395a12a578c62d37a4741d93b4e82e 100644 (file)
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -465,7 +465,7 @@ static void printk_start_of_line(void)
         return;
 
     snprintf(tstr, sizeof(tstr), "[%04u-%02u-%02u %02u:%02u:%02u] ",
-             1900 + tm.tm_year, tm.tm_mon, tm.tm_mday,
+             1900 + tm.tm_year, tm.tm_mon + 1, tm.tm_mday,
              tm.tm_hour, tm.tm_min, tm.tm_sec);
     __putstr(tstr);
 }