Add debug messages to process.c
authorMichael Brown <mcb30@etherboot.org>
Tue, 10 Jul 2007 05:24:30 +0000 (06:24 +0100)
committerMichael Brown <mcb30@etherboot.org>
Tue, 10 Jul 2007 05:24:30 +0000 (06:24 +0100)
src/core/process.c

index 9d9ca6a..cf931ac 100644 (file)
@@ -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 );
        }
 }