new_tcr          1846 arch/powerpc/kvm/booke.c void kvmppc_set_tcr(struct kvm_vcpu *vcpu, u32 new_tcr)
new_tcr          1848 arch/powerpc/kvm/booke.c 	vcpu->arch.tcr = new_tcr;
new_tcr            69 arch/powerpc/kvm/booke.h void kvmppc_set_tcr(struct kvm_vcpu *vcpu, u32 new_tcr);