MIPS_SR_KX
# define MIPS3_PSL_XFLAGS (MIPS3_SR_XX | MIPS_SR_KX)
: "r"(tf->tf_regs[_R_SR] & (MIPS_SR_COP_1_BIT|MIPS3_SR_FR|MIPS_SR_KX|MIPS_SR_INT_IE)),
: "r"(tf->tf_regs[_R_SR] & (MIPS_SR_COP_1_BIT|MIPS3_SR_FR|MIPS_SR_KX|MIPS_SR_INT_IE)), "n"(MIPS_COP_0_STATUS));
pcb->pcb_context.val[_L_SR] |= MIPS_SR_KX;
l->l_md.md_utf->tf_regs[_R_SR] = MIPS_SR_KX;
pcb->pcb_context.val[_L_SR] |= MIPS_SR_KX | MIPS_SR_UX;
l->l_md.md_utf->tf_regs[_R_SR] = MIPS_SR_KX | MIPS_SR_UX;
KASSERT(tf->tf_regs[_R_SR] & MIPS_SR_KX);
KASSERT(pcb2->pcb_context.val[_L_SR] & MIPS_SR_KX);
KASSERTMSG(mips_cp0_status_read() & MIPS_SR_KX,