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