From 82d2e5d3a84ebc0e3920d133ca1abbff8f903593 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 18 Feb 2017 08:40:18 +0100
Subject: [PATCH] increase the readability of the debug messages

---
 arch/x86/kernel/processor.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/x86/kernel/processor.c b/arch/x86/kernel/processor.c
index 319192da0..31a038b9d 100644
--- a/arch/x86/kernel/processor.c
+++ b/arch/x86/kernel/processor.c
@@ -509,7 +509,8 @@ int cpu_detection(void) {
 			xcr0 |= 0xE0;
 		xsetbv(0, xcr0);
 
-		kprintf("Set XCR0 to 0x%llx\n", xgetbv(0));
+		if (first_time)
+			kprintf("Set XCR0 to 0x%llx\n", xgetbv(0));
 	}
 
 	// libos => currently no support of syscalls