vcpu_put         1959 arch/x86/kvm/svm.c 	.vcpu_put = svm_vcpu_put,
vcpu_put         3207 arch/x86/kvm/vmx.c 	.vcpu_put = vmx_vcpu_put,
vcpu_put          817 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put          979 arch/x86/kvm/x86.c 	kvm_x86_ops->vcpu_put(vcpu);
vcpu_put         1258 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         1269 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         1286 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3014 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3052 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3087 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3153 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3163 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3172 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3637 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3651 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3694 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3714 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3734 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3813 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3827 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put         3929 arch/x86/kvm/x86.c 	vcpu_put(vcpu);
vcpu_put          391 include/asm-x86/kvm_host.h 	void (*vcpu_put)(struct kvm_vcpu *vcpu);
vcpu_put          147 include/linux/kvm_host.h void vcpu_put(struct kvm_vcpu *vcpu);
vcpu_put          984 virt/kvm/kvm_main.c 		vcpu_put(vcpu);