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);