kvm_vcpu_halt    1372 arch/x86/include/asm/kvm_host.h int kvm_vcpu_halt(struct kvm_vcpu *vcpu);
kvm_vcpu_halt    3291 arch/x86/kvm/vmx/nested.c 		return kvm_vcpu_halt(vcpu);
kvm_vcpu_halt    4553 arch/x86/kvm/vmx/vmx.c 				return kvm_vcpu_halt(vcpu);
kvm_vcpu_halt    5256 arch/x86/kvm/vmx/vmx.c 			return kvm_vcpu_halt(vcpu);
kvm_vcpu_halt    7358 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_vcpu_halt);
kvm_vcpu_halt    7367 arch/x86/kvm/x86.c 	return kvm_vcpu_halt(vcpu) && ret;