kvmppc_start_thread 3251 arch/powerpc/kvm/book3s_hv.c 			kvmppc_start_thread(vcpu, pvc);
kvmppc_start_thread 3263 arch/powerpc/kvm/book3s_hv.c 			kvmppc_start_thread(NULL, pvc);
kvmppc_start_thread 3943 arch/powerpc/kvm/book3s_hv.c 			kvmppc_start_thread(vcpu, vc);
kvmppc_start_thread 4110 arch/powerpc/kvm/book3s_hv.c 	kvmppc_start_thread(vcpu, vc);