kvmppc_e500_emul_tlbwe  127 arch/powerpc/kvm/e500.h int kvmppc_e500_emul_tlbwe(struct kvm_vcpu *vcpu);
kvmppc_e500_emul_tlbwe  160 arch/powerpc/kvm/e500_emulate.c 			emulated = kvmppc_e500_emul_tlbwe(vcpu);