print CPU core ID in debug messages

2014-03-27 15:32:23 +09:00
parent 51f75d9ba8
commit a2515747cf
1 changed files with 1 additions and 0 deletions
--- 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);