KVM_MP_STATE_SIPI_RECEIVED
if (WARN_ON_ONCE(vcpu->arch.mp_state == KVM_MP_STATE_SIPI_RECEIVED))
case KVM_MP_STATE_SIPI_RECEIVED:
if (mp_state->mp_state == KVM_MP_STATE_SIPI_RECEIVED) {