From cd08c2e399774b32fb79dd64fffaeabc2a1e54a8 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@knf5.il.is.s.u-tokyo.ac.jp>
Date: Wed, 25 Apr 2012 14:29:10 +0900
Subject: [PATCH] process related debug messages

---
 kernel/process.c | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/kernel/process.c b/kernel/process.c
index 46c41c12..d87a0b4e 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -6,6 +6,14 @@
 #include <aal/debug.h>
 #include <page.h>
 
+#define DEBUG_PRINT_PROCESS
+
+#ifdef DEBUG_PRINT_PROCESS
+#define dkprintf kprintf
+#else
+#define dkprintf(...)
+#endif
+
 void init_process_vm(struct process_vm *vm)
 {
 	aal_atomic_set(&vm->refcount, 1);
@@ -89,7 +97,7 @@ int add_process_memory_range(struct process *process,
 	range->phys = phys;
 	range->flag = flag;
 
-	kprintf("range: %lx - %lx => %lx - %lx\n",
+	dkprintf("range: %lx - %lx => %lx - %lx\n",
 	        range->start, range->end, range->phys, range->phys + 
 	        range->end - range->start);
 
@@ -257,7 +265,7 @@ void schedule(void)
 	cpu_enable_interrupt();
 
 	if (switch_ctx) {
-		kprintf("[%d] schedule: %d => %d \n",
+		dkprintf("[%d] schedule: %d => %d \n",
 		        aal_mc_get_processor_id(),
 		        prev ? prev->pid : 0, next ? next->pid : 0);