kvmppc_e500_emul_tlbsx  131 arch/powerpc/kvm/e500.h int kvmppc_e500_emul_tlbsx(struct kvm_vcpu *vcpu, gva_t ea);
kvmppc_e500_emul_tlbsx  165 arch/powerpc/kvm/e500_emulate.c 			emulated = kvmppc_e500_emul_tlbsx(vcpu, ea);