From d3ad76bc746993a18b57237456345470ac381adf Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Tue, 10 Jul 2007 06:24:30 +0100
Subject: [PATCH] Add debug messages to process.c

---
 src/core/process.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/core/process.c b/src/core/process.c
index 9d9ca6a6..cf931acf 100644
--- a/src/core/process.c
+++ b/src/core/process.c
@@ -43,6 +43,7 @@ static struct process processes_end[0]
  * @v process		Process
  */
 void process_add ( struct process *process ) {
+	DBGC ( process, "PROCESS %p starting\n", process );
 	ref_get ( process->refcnt );
 	list_add_tail ( &process->list, &run_queue );
 }
@@ -57,9 +58,12 @@ void process_add ( struct process *process ) {
  */
 void process_del ( struct process *process ) {
 	if ( ! list_empty ( &process->list ) ) {
+		DBGC ( process, "PROCESS %p stopping\n", process );
 		list_del ( &process->list );
 		INIT_LIST_HEAD ( &process->list );
 		ref_put ( process->refcnt );
+	} else {
+		DBGC ( process, "PROCESS %p already stopped\n", process );
 	}
 }