diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 17:38:04 -0700 |
| commit | 6517fe26a2a0c89c3112f4a383c601572c71d64a (patch) | |
| tree | d37eea7ae6f3e15eee94afb5c9c749a4cd800577 /pk/console.c | |
| parent | a4ae7da6ef0c09c2616a0b82f7f569e4e134f75c (diff) | |
| download | pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.zip pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.gz pk-6517fe26a2a0c89c3112f4a383c601572c71d64a.tar.bz2 | |
Update to new privileged spec
Diffstat (limited to 'pk/console.c')
| -rw-r--r-- | pk/console.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pk/console.c b/pk/console.c index 366c313..a15cb8a 100644 --- a/pk/console.c +++ b/pk/console.c @@ -126,8 +126,8 @@ void dump_tf(trapframe_t* tf) for(int j = 0; j < 4; j++) printk("%s %lx%c",regnames[i+j],tf->gpr[i+j],j < 3 ? ' ' : '\n'); } - printk("pc %lx va %lx insn %x\n", tf->epc, tf->badvaddr, - (uint32_t)tf->insn); + printk("pc %lx va %lx insn %x sr %lx\n", tf->epc, tf->badvaddr, + (uint32_t)tf->insn, tf->status); } void do_panic(const char* s, ...) |