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)
commit542db263217c6c54e72a50fe03c0f3c148648de6
tree7e6afbfa6ff2f98bab965230ee0722b885df5347
parent2f541af213ffa0cac8ab8cb09f54ec094e01c24e
Print the vcoreid for unhandled faults in VC ctx

This is a little more useful when diagnosing bugs.

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