_R_K0
{ "k0", (long *)&ddb_regs.r_regs[_R_K0], DB_SETF_REGS, NULL },
KASSERT(rt == _R_K0 || rt == _R_K1);
KASSERT(lui_reg == _R_K0 || lui_reg == _R_K1);
tf->tf_regs[_R_T9], tf->tf_regs[_R_K0], tf->tf_regs[_R_K1]);