More verbose multicore debugging
authorAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 2 Nov 2009 10:39:03 +0000 (02:39 -0800)
committerAndrew Waterman <waterman@r53.millennium.berkeley.edu>
Mon, 2 Nov 2009 10:39:03 +0000 (02:39 -0800)
We print out the pid for which a core has been started.

kern/src/process.c

index 0e55bbc..e83b7c0 100644 (file)
@@ -720,7 +720,7 @@ void __startcore(trapframe_t *tf, uint32_t srcid, void * a0, void * a1,
        trapframe_t local_tf;
        trapframe_t *tf_to_pop = (trapframe_t *CT(1))a1;
 
-       printk("[kernel] Startcore on physical core %d\n", coreid);
+       printk("[kernel] Startcore on physical core %d for Process %d\n", coreid, p_to_run->env_id);
        assert(p_to_run);
        // TODO: handle silly state (HSS)
        if (!tf_to_pop) {