TCBIND_CURVPE
write_tc_c0_tcbind((read_tc_c0_tcbind() & ~TCBIND_CURVPE) | 1);
if (tmp & TCBIND_CURVPE) {
write_tc_c0_tcbind(tmp & ~TCBIND_CURVPE);