Lines Matching defs:tsb_index
1790 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid);
1808 for (i = 0; i < pages; i++, pfn_index++, tsb_index++) {
1810 pxu_p->tsb_vaddr[tsb_index] = MMU_PTOB(pfn) | attr;
1818 if ((i == (pages-1))||!((tsb_index+1) & 0x7)) {
1822 (tsb_index*MMU_TTE_SIZE)));
1828 for (i = 0; i < pages; i++, a += MMU_PAGE_SIZE, tsb_index++) {
1830 pxu_p->tsb_vaddr[tsb_index] = MMU_PTOB(pfn) | attr;
1838 if ((i == (pages-1))||!((tsb_index+1) & 0x7)) {
1842 (tsb_index*MMU_TTE_SIZE)));
1856 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid);
1859 for (i = 0; i < pages; i++, tsb_index++) {
1860 pxu_p->tsb_vaddr[tsb_index] = MMU_INVALID_TTE;
1868 if ((i == (pages-1))||!((tsb_index+1) & 0x7)) {
1872 (tsb_index*MMU_TTE_SIZE)));
1885 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid);
1889 tte_addr = (uint64_t *)(pxu_p->tsb_vaddr) + tsb_index;