KVM_REQ_TLB_FLUSH
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu)) {
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
KVM_REQ_TLB_FLUSH, &data);
KVM_REQ_TLB_FLUSH, &data);
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu)) {
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH, vcpu);
if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
|| kvm_make_all_cpus_request(kvm, KVM_REQ_TLB_FLUSH))