GDB_REG_R13
case GDB_REG_R13: kdb_frame->tf_r13 = regval; break;
case GDB_REG_R13: kdb_thrctx->pcb_r13 = regval; break;
case GDB_REG_R13: return (&kdb_thrctx->pcb_r13);