kvm_arch_vcpu_put  220 include/linux/kvm_host.h void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
kvm_arch_vcpu_put  265 include/linux/kvm_host.h void kvm_arch_vcpu_put(struct kvm_vcpu *vcpu);
kvm_arch_vcpu_put   96 virt/kvm/kvm_main.c 	kvm_arch_vcpu_put(vcpu);
kvm_arch_vcpu_put 1700 virt/kvm/kvm_main.c 	kvm_arch_vcpu_put(vcpu);