[mq]: core-v2
@@ -231,12 +231,10 @@ (void) setjmp(&curthread->t_pcb); CPU->cpu_m.in_prom = 1; membar_stld(); - dumpsys_helper(); - for (;;) continue; } /*