From 02aa7ed213c64c53e344b3ecd55e9f4121991df2 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@knf3.il.is.s.u-tokyo.ac.jp>
Date: Fri, 8 Jun 2012 18:15:16 +0900
Subject: [PATCH] DEBUG_PRINT_INIT and dkprintf

---
 kernel/init.c | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/kernel/init.c b/kernel/init.c
index 07da54e7..6e1ade82 100644
--- a/kernel/init.c
+++ b/kernel/init.c
@@ -10,6 +10,15 @@
 #include <init.h>
 #include <cls.h>
 
+//#define DEBUG_PRINT_INIT
+
+#ifdef DEBUG_PRINT_INIT
+#define dkprintf kprintf
+#else
+#define dkprintf(...)
+#endif
+
+
 extern struct aal_kmsg_buf kmsg_buf;
 
 extern long syscall(int, aal_mc_user_context_t *);
@@ -83,7 +92,7 @@ void pc_init(void)
 	};
 
 	if (!(p = find_command_line("perfctr"))) {
-		kprintf("perfctr not initialized.\n");
+		dkprintf("perfctr not initialized.\n");
 		return;
 	}
 	if (p[7] == '=' && p[8] >= '0' && p[8] <= '5') {
@@ -91,10 +100,10 @@ void pc_init(void)
 		kmode = (i >> 1) + 1;
 		imode = (i & 1);
 	} else {
-		kprintf("perfctr not initialized.\n");
+		dkprintf("perfctr not initialized.\n");
 		return;
 	}
-	kprintf("perfctr mode : priv = %d, set = %d\n", kmode, imode);
+	dkprintf("perfctr mode : priv = %d, set = %d\n", kmode, imode);
 
 	for (i = 0; i < 4; i++) {
 		aal_mc_perfctr_init(i, x[imode][i], kmode);