KVM_VCPU_FLUSH_TLB
state | KVM_VCPU_FLUSH_TLB))
st_preempted & KVM_VCPU_FLUSH_TLB);
if (st_preempted & KVM_VCPU_FLUSH_TLB)