The vcpu should process pending SIPI message before entering guest mode again.
kvm_arch_vcpu_runnable() returns true if the vcpu is in SIPI state, so
we can't call it here.
Signed-off-by: Gleb Natapov <gleb@qumranet.com>
Signed-off-by: Avi Kivity <avi@redhat.com>
 
        r = 1;
        while (r > 0) {
-               if (kvm_arch_vcpu_runnable(vcpu))
+               if (vcpu->arch.mp_state == KVM_MP_STATE_RUNNABLE)
                        r = vcpu_enter_guest(vcpu, kvm_run);
                else {
                        up_read(&vcpu->kvm->slots_lock);