@@ -1673,9 +1673,12 @@ uint32_t kvm_arch_get_supported_cpuid(CPUState *env, uint32_t function,
void kvm_arch_process_irqchip_events(CPUState *env)
{
- kvm_cpu_synchronize_state(env);
- if (env->interrupt_request & CPU_INTERRUPT_INIT)
+ if (env->interrupt_request & CPU_INTERRUPT_INIT) {
+ kvm_cpu_synchronize_state(env);
do_cpu_init(env);
- if (env->interrupt_request & CPU_INTERRUPT_SIPI)
+ }
+ if (env->interrupt_request & CPU_INTERRUPT_SIPI) {
+ kvm_cpu_synchronize_state(env);
do_cpu_sipi(env);
+ }
}
Signed-off-by: Gleb Natapov <gleb@redhat.com> --- qemu-kvm-x86.c | 9 ++++++--- 1 files changed, 6 insertions(+), 3 deletions(-)