kvmppc_set_tcr   1522 arch/powerpc/kvm/booke.c 	kvmppc_set_tcr(vcpu, sregs->u.e.tcr);
kvmppc_set_tcr   1764 arch/powerpc/kvm/booke.c 		kvmppc_set_tcr(vcpu, tcr);
kvmppc_set_tcr     69 arch/powerpc/kvm/booke.h void kvmppc_set_tcr(struct kvm_vcpu *vcpu, u32 new_tcr);
kvmppc_set_tcr    273 arch/powerpc/kvm/booke_emulate.c 		kvmppc_set_tcr(vcpu, spr_val);