write_tc_c0_tcbind
write_tc_c0_tcbind(read_tc_c0_tcbind() | ((mvpconf0 & MVPCONF0_PVPE) >> MVPCONF0_PVPE_SHIFT));
write_tc_c0_tcbind(read_tc_c0_tcbind() | tc);
write_tc_c0_tcbind((read_tc_c0_tcbind() & ~TCBIND_CURVPE) | 1);
write_tc_c0_tcbind(tmp & ~TCBIND_CURVPE);