Searched refs:obp_tsb_pa (Results 1 – 2 of 2) sorted by relevance
485 uint64_t obp_tsb_pa = *iommu_p->iommu_tsb_base_addr_reg; in iommu_preserve_tsb() local514 (uint32_t)(obp_tsb_pa >> 32), (uint32_t)obp_tsb_pa); in iommu_preserve_tsb()517 uint64_t tte = lddphys(obp_tsb_pa + i * 8); in iommu_preserve_tsb()
1700 uint64_t val, i, obp_tsb_pa; in hvio_mmu_init() local1708 obp_tsb_pa = CSR_XR(csr_base, MMU_TSB_CONTROL) & MMU_TSB_PA_MASK; in hvio_mmu_init()1713 pxu_p->obp_tsb_paddr = obp_tsb_pa; in hvio_mmu_init()1910 uint64_t obp_tsb_pa; in hvio_obptsb_attach() local1915 obp_tsb_pa = pxu_p->obp_tsb_paddr; in hvio_obptsb_attach()1927 uint64_t tte = lddphys(obp_tsb_pa + i * 8); in hvio_obptsb_attach()1944 uint64_t obp_tsb_pa; in hvio_obptsb_detach() local1954 obp_tsb_pa = pxu_p->obp_tsb_paddr; in hvio_obptsb_detach()1966 uint64_t tte = lddphys(obp_tsb_pa + i * 8); in hvio_obptsb_detach()