KVM_REQ_TLB_FLUSH_GUEST
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
kvm_make_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu);
if (kvm_check_request(KVM_REQ_TLB_FLUSH_GUEST, vcpu))