kvmppc_e500_tlbil_one  282 arch/powerpc/kvm/e500.h void kvmppc_e500_tlbil_one(struct kvmppc_vcpu_e500 *vcpu_e500,
kvmppc_e500_tlbil_one  234 arch/powerpc/kvm/e500_mmu_host.c 		kvmppc_e500_tlbil_one(vcpu_e500, gtlbe);