write_c0_errctl
write_c0_errctl(ectlval | (0x1 << 26));
write_c0_errctl(ectlval);
write_c0_errctl(errctl);
write_c0_errctl(res | set);
write_c0_errctl(errctl);
write_c0_errctl(errctl);
write_c0_errctl(errctl);
write_c0_errctl(cp0_ectl | ERRCTL_PE);
write_c0_errctl(cp0_ectl);
write_c0_errctl(errctl | ERRCTL_PE);
write_c0_errctl(errctl|ERRCTL_L2P);
write_c0_errctl(errctl);
write_c0_errctl(0x80000000);