write_tc_c0_tcrestart
write_tc_c0_tcrestart((unsigned long)&smp_bootstrap);
write_tc_c0_tcrestart((unsigned long)v->__start);