EXC_RST
*(u_int *)EXC_RST = 0x48000002 | (u_int)cpu_spinup_trampoline;
syncicache((void *)EXC_RST, 0x100);
syncicache((void *)EXC_RST, EXC_END - EXC_RST);
for (trap = EXC_RST; trap < EXC_END; trap += 32)
memcpy((void *)EXC_RST, rsttrapcode, rsttrapcodeend - rsttrapcode);