Lines Matching defs:gtlb_index
1251 int gtlb_index;
1267 gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
1268 if (gtlb_index < 0) {
1281 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
1291 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);
1311 int gtlb_index;
1316 gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
1317 if (gtlb_index < 0) {
1329 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
1339 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);
1949 int gtlb_index;
1970 gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
1973 gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
1980 if (gtlb_index < 0)
1983 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);