On 23/09/2016 13:07, Alexander Graf wrote: > + timer_ret = kvm_timer_sync_hwstate(vcpu); > > kvm_vgic_sync_hwstate(vcpu); > > preempt_enable(); > > ret = handle_exit(vcpu, run, ret); > + > + if ((ret == 1) && timer_ret) { > + /* > + * We have to exit straight away to ensure that we only > + * ever notify user space once about a level change > + */ Is this really a requirement? It complicates the logic noticeably. Paolo > + ret = -EINTR; > + run->exit_reason = KVM_EXIT_INTR; > + } > } -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html