kvmppc_e500_emul_tlbre  128 arch/powerpc/kvm/e500.h int kvmppc_e500_emul_tlbre(struct kvm_vcpu *vcpu);
kvmppc_e500_emul_tlbre  156 arch/powerpc/kvm/e500_emulate.c 			emulated = kvmppc_e500_emul_tlbre(vcpu);