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