Lines Matching defs:gtlb_index
346 int gtlb_index;
351 gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
352 if (gtlb_index < 0) {
363 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
373 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);
391 int gtlb_index;
396 gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
397 if (gtlb_index < 0) {
407 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
417 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);