kvmppc_booke_vcpu_load 85 arch/powerpc/kvm/booke.h void kvmppc_booke_vcpu_load(struct kvm_vcpu *vcpu, int cpu); kvmppc_booke_vcpu_load 301 arch/powerpc/kvm/e500.c kvmppc_booke_vcpu_load(vcpu, cpu); kvmppc_booke_vcpu_load 116 arch/powerpc/kvm/e500mc.c kvmppc_booke_vcpu_load(vcpu, cpu);