Searched refs:tsb_vaddr (Results 1 – 3 of 3) sorted by relevance
1703 bzero(pxu_p->tsb_vaddr, pxu_p->tsb_size); in hvio_mmu_init()1735 val = (((((va_to_pa(pxu_p->tsb_vaddr)) >> 13) << 13) | in hvio_mmu_init()1810 pxu_p->tsb_vaddr[tsb_index] = MMU_PTOB(pfn) | attr; in hvio_iommu_map()1830 pxu_p->tsb_vaddr[tsb_index] = MMU_PTOB(pfn) | attr; in hvio_iommu_map()1860 pxu_p->tsb_vaddr[tsb_index] = MMU_INVALID_TTE; in hvio_iommu_demap()1889 tte_addr = (uint64_t *)(pxu_p->tsb_vaddr) + tsb_index; in hvio_iommu_getmap()1923 base_tte_addr = pxu_p->tsb_vaddr + in hvio_obptsb_attach()
94 uint64_t *tsb_vaddr; member
222 pxu_p->tsb_vaddr = iommu_tsb_cookie_to_va(pxu_p->tsb_cookie); in px_lib_dev_init()224 pxu_p->tsb_paddr = va_to_pa(pxu_p->tsb_vaddr); in px_lib_dev_init()