kvmppc_set_epcr  1743 arch/powerpc/kvm/booke.c 		kvmppc_set_epcr(vcpu, new_epcr);
kvmppc_set_epcr    68 arch/powerpc/kvm/booke.h void kvmppc_set_epcr(struct kvm_vcpu *vcpu, u32 new_epcr);
kvmppc_set_epcr   362 arch/powerpc/kvm/booke_emulate.c 		kvmppc_set_epcr(vcpu, spr_val);