k3_r5_core_halt
if (k3_r5_core_halt(core->kproc))
ret = k3_r5_core_halt(core->kproc);
ret = k3_r5_core_halt(core->kproc);
ret = k3_r5_core_halt(temp->kproc);
ret = k3_r5_core_halt(core->kproc);