kvmppc_set_host_core 3354 arch/powerpc/kvm/book3s_hv.c kvmppc_set_host_core(pcpu); kvmppc_set_host_core 4149 arch/powerpc/kvm/book3s_hv.c kvmppc_set_host_core(pcpu); kvmppc_set_host_core 4768 arch/powerpc/kvm/book3s_hv.c kvmppc_set_host_core,