EXC_RST
*(u_int *)EXC_RST = /* ba cpu_spinup_trampoline */
__syncicache((void *)EXC_RST, 0x100);
__syncicache((void *)EXC_RST, EXC_LAST - EXC_RST + 0x100);
case EXC_RST: trapstr = "RST"; break;
case EXC_RST: /* All but IBM 4xx - Reset */
*(u_int *)EXC_RST = 0x48000002 | (u_int)cpu_spinup_trampoline;
__syncicache((void *)EXC_RST, 0x100);