kvmppc_e500_emul_tlbilx  130 arch/powerpc/kvm/e500.h int kvmppc_e500_emul_tlbilx(struct kvm_vcpu *vcpu, int type, gva_t ea);
kvmppc_e500_emul_tlbilx  171 arch/powerpc/kvm/e500_emulate.c 			emulated = kvmppc_e500_emul_tlbilx(vcpu, type, ea);