init_vcore_to_run 2827 arch/powerpc/kvm/book3s_hv.c init_vcore_to_run(vc); init_vcore_to_run 3074 arch/powerpc/kvm/book3s_hv.c init_vcore_to_run(vc); init_vcore_to_run 4073 arch/powerpc/kvm/book3s_hv.c init_vcore_to_run(vc);