Lines Matching defs:gtlb_index
1285 int gtlb_index;
1301 gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
1302 if (gtlb_index < 0) {
1315 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
1325 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);
1345 int gtlb_index;
1350 gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
1351 if (gtlb_index < 0) {
1363 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);
1373 kvmppc_mmu_map(vcpu, eaddr, gpaddr, gtlb_index);
1983 int gtlb_index;
2004 gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
2007 gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
2014 if (gtlb_index < 0)
2017 gpaddr = kvmppc_mmu_xlate(vcpu, gtlb_index, eaddr);