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