FRAME_T12
{ "t12", &ddb_regs.tf_regs[FRAME_T12], FCN_NULL },
{ "pv", &ddb_regs.tf_regs[FRAME_T12], FCN_NULL },
FRAME_T12,
regp->r_regs[R_T12] = framep->tf_regs[FRAME_T12];
framep->tf_regs[FRAME_T12] = regp->r_regs[R_T12];
frame->tf_regs[FRAME_T12] = (u_int64_t)catcher; /* t12 is pv */
tfp->tf_regs[FRAME_T12] = tfp->tf_regs[FRAME_PC]; /* a.k.a. PV */
FRAME_T12,
framep->tf_regs[FRAME_T12] = p->pcs_halt_r27;
FRAME_T10, FRAME_T11, FRAME_RA, FRAME_T12,