Searched defs: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() local
1700 uint64_t val, i, obp_tsb_pa; in hvio_mmu_init() local1910 uint64_t obp_tsb_pa; in hvio_obptsb_attach() local1944 uint64_t obp_tsb_pa; in hvio_obptsb_detach() local