FRAME_T12
DBREG(t12, FRAME_T12),
DBREG(pv, FRAME_T12),
FRAME_T12,
gdb_regs[KGDB_REG_T12] = regs->tf_regs[FRAME_T12];
regs->tf_regs[FRAME_T12] = gdb_regs[KGDB_REG_T12];
regp->r_regs[R_T12] = framep->tf_regs[FRAME_T12];
framep->tf_regs[FRAME_T12] = regp->r_regs[R_T12];
tf->tf_regs[FRAME_T12] = (uint64_t)catcher;
tfp->tf_regs[FRAME_T12] = tfp->tf_regs[FRAME_PC]; /* a.k.a. PV */
framep->tf_regs[FRAME_T12] = p->pcs_halt_r27;
framep->tf_regs[FRAME_T12]);
FRAME_T10, FRAME_T11, FRAME_RA, FRAME_T12,
tf->tf_regs[FRAME_T12] = (u_int64_t)catcher;