kvmppc_core_vcpu_load  130 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_core_vcpu_load(struct kvm_vcpu *vcpu, int cpu);
kvmppc_core_vcpu_load  812 arch/powerpc/kvm/powerpc.c 	kvmppc_core_vcpu_load(vcpu, cpu);