kvm_emulate_wbinvd 1373 arch/x86/include/asm/kvm_host.h int kvm_emulate_wbinvd(struct kvm_vcpu *vcpu);
kvm_emulate_wbinvd 3873 arch/x86/kvm/svm.c 	return kvm_emulate_wbinvd(&svm->vcpu);
kvm_emulate_wbinvd 5035 arch/x86/kvm/vmx/vmx.c 	return kvm_emulate_wbinvd(vcpu);
kvm_emulate_wbinvd 6003 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_emulate_wbinvd);