Print the vcoreid for unhandled faults in VC ctx
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Oct 2015 15:21:50 +0000 (11:21 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Oct 2015 16:05:12 +0000 (12:05 -0400)
This is a little more useful when diagnosing bugs.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/trap.c

index cf28850..c3aca07 100644 (file)
@@ -54,7 +54,7 @@ void reflect_unhandled_trap(unsigned int trap_nr, unsigned int err,
                goto error_out;
        }
        if (vcpd->notif_disabled) {
-               printk("Unhandled user trap in vcore context\n");
+               printk("Unhandled user trap in vcore context from VC %d\n", vcoreid);
                goto error_out;
        }
        printx_unhandled_trap(p, pcpui->cur_ctx, trap_nr, err, aux);