KVM_REQ_HV_TLB_FLUSH
kvm_make_all_cpus_request(kvm, KVM_REQ_HV_TLB_FLUSH);
kvm_make_vcpus_request_mask(kvm, KVM_REQ_HV_TLB_FLUSH, vcpu_mask);
kvm_make_vcpus_request_mask(kvm, KVM_REQ_HV_TLB_FLUSH, vcpu_mask);
if (!to_hv_vcpu(vcpu) || !kvm_check_request(KVM_REQ_HV_TLB_FLUSH, vcpu))
kvm_make_request(KVM_REQ_HV_TLB_FLUSH, vcpu);
if (kvm_check_request(KVM_REQ_HV_TLB_FLUSH, vcpu) &&