From a2515747cf94e04862ce7abd3f22f02074aef15b Mon Sep 17 00:00:00 2001 From: "Balazs Gerofi bgerofi@riken.jp" Date: Thu, 27 Mar 2014 15:32:23 +0900 Subject: [PATCH] print CPU core ID in debug messages --- kernel/debug.c | 1 + 1 file changed, 1 insertion(+) diff --git a/kernel/debug.c b/kernel/debug.c index e3497d54..006a65bb 100644 --- a/kernel/debug.c +++ b/kernel/debug.c @@ -88,6 +88,7 @@ int kprintf(const char *format, ...) flags = ihk_mc_spinlock_lock(&kmsg_lock); /* Copy into the local buf */ + len = sprintf(buf, "[%3d]: ", ihk_mc_get_processor_id()); va_start(va, format); len += vsnprintf(buf + len, KPRINTF_LOCAL_BUF_LEN - len - 2, format, va); va_end(va);