kvmppc_e500_emul_tlbivax  129 arch/powerpc/kvm/e500.h int kvmppc_e500_emul_tlbivax(struct kvm_vcpu *vcpu, gva_t ea);
kvmppc_e500_emul_tlbivax  177 arch/powerpc/kvm/e500_emulate.c 			emulated = kvmppc_e500_emul_tlbivax(vcpu, ea);