kvm_arch_vcpu_destroy  268 include/linux/kvm_host.h void kvm_arch_vcpu_destroy(struct kvm_vcpu *vcpu);
kvm_arch_vcpu_destroy 1100 virt/kvm/kvm_main.c 	kvm_arch_vcpu_destroy(vcpu);