Symbol: kvmppc_e500_tlbil_one
arch/powerpc/kvm/e500.h
280
void kvmppc_e500_tlbil_one(struct kvmppc_vcpu_e500 *vcpu_e500,
arch/powerpc/kvm/e500_mmu_host.c
237
kvmppc_e500_tlbil_one(vcpu_e500, gtlbe);