Use new ABI register names

13 years ago · 33a258dd76
1 changed files with 1 additions and 1 deletions
--- a/pk/console.c
+++ b/pk/console.c
@ -116,7 +116,7 @@ void dump_tf(trapframe_t* tf)
    "z ", "ra", "s0", "s1", "s2", "s3", "s4", "s5",
    "s6", "s7", "s8", "s9", "sA", "sB", "sp", "tp",
    "v0", "v1", "a0", "a1", "a2", "a3", "a4", "a5",
-    "a6", "a7", "a8", "a9", "aA", "aB", "aC", "aD"
+    "a6", "a7", "t0", "t1", "t2", "t3", "t4", "t5"
  };

  tf->gpr[0] = 0;