KVM_REQ_TRIPLE_FAULT 3770 arch/x86/kvm/mmu.c 		kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT 2887 arch/x86/kvm/svm.c 		kvm_make_request(KVM_REQ_TRIPLE_FAULT, &svm->vcpu);
KVM_REQ_TRIPLE_FAULT 7216 arch/x86/kvm/svm.c 		kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT  197 arch/x86/kvm/vmx/nested.c 	kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT  529 arch/x86/kvm/x86.c 		kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT 3743 arch/x86/kvm/x86.c 			kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT 6396 arch/x86/kvm/x86.c 		kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
KVM_REQ_TRIPLE_FAULT 8069 arch/x86/kvm/x86.c 		if (kvm_check_request(KVM_REQ_TRIPLE_FAULT, vcpu)) {