diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-09 15:38:07 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-09 21:19:18 -0800 |
| commit | 5c8645013001ff125f9b28e0f861328e9b9a4d12 (patch) | |
| tree | 0b04cb002dd38ff87b1d9ead9f45f31717fb1617 /pk/console.c | |
| parent | d2b36b1484059c5792cdf9243f972c83bb96026a (diff) | |
| download | pk-5c8645013001ff125f9b28e0f861328e9b9a4d12.zip pk-5c8645013001ff125f9b28e0f861328e9b9a4d12.tar.gz pk-5c8645013001ff125f9b28e0f861328e9b9a4d12.tar.bz2 | |
work in progress on new supervisor spec
Diffstat (limited to 'pk/console.c')
| -rw-r--r-- | pk/console.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pk/console.c b/pk/console.c index 4828d3f..366c313 100644 --- a/pk/console.c +++ b/pk/console.c @@ -126,7 +126,7 @@ 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("sr %lx pc %lx va %lx insn %x\n",tf->sr,tf->epc,tf->badvaddr, + printk("pc %lx va %lx insn %x\n", tf->epc, tf->badvaddr, (uint32_t)tf->insn); } |