@@ -29,6 +29,7 @@ void cpu_loop_exit_noexc(CPUState *cpu)
/* XXX: restore cpu registers saved in host registers */
cpu->exception_index = -1;
+g_assert(cpu == current_cpu);
siglongjmp(cpu->jmp_env, 1);
}
@@ -64,6 +65,7 @@ void cpu_reloading_memory_map(void)
void cpu_loop_exit(CPUState *cpu)
{
+g_assert(cpu == current_cpu);
siglongjmp(cpu->jmp_env, 1);
}
@@ -72,6 +74,7 @@ void cpu_loop_exit_restore(CPUState *cpu, uintptr_t pc)
if (pc) {
cpu_restore_state(cpu, pc);
}
+g_assert(cpu == current_cpu);
siglongjmp(cpu->jmp_env, 1);
}