X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Fkernel%2Fprintk.c;h=772c87216713a18f0a00a81266ff88277691dce6;hb=6d3eb8ee92fc9fdce7db00e98cce228881e0c9f8;hp=b410ec6da1f08e5bd4f5f7fb26ef9157f16e16f5;hpb=9881f0e9f9327b8acdab8d119c2c7c4274ee69b9;p=palacios.git

diff --git a/kitten/kernel/printk.c b/kitten/kernel/printk.c
index b410ec6..772c872 100644
--- a/kitten/kernel/printk.c
+++ b/kitten/kernel/printk.c
@@ -15,6 +15,9 @@ int printk(const char *fmt, ...)
 }
 
 
+int printk_print_cpu_number;
+
+
 int
 vprintk(
 	const char *		fmt,
@@ -30,9 +33,12 @@ vprintk(
 	*p = '\0';
 
 	/* Tack on the logical CPU ID */
-	len = sprintf(p, "[%u]:", this_cpu);
-	p      += len;
-	remain -= len;
+	if( printk_print_cpu_number )
+	{
+		len = sprintf(p, "[%u]:", this_cpu);
+		p      += len;
+		remain -= len;
+	}
 
 	/* Construct the string... */
 	len = vscnprintf(p, remain, fmt, args);