GDB_REG_R12
case GDB_REG_R12: kdb_frame->tf_r12 = regval; break;
case GDB_REG_R12: kdb_thrctx->pcb_r12 = regval; break;
case GDB_REG_R12: return (&kdb_thrctx->pcb_r12);