Searched refs:tsbindex_t (Results 1 – 3 of 3) sorted by relevance
189 typedef uint32_t tsbindex_t; typedef
1790 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid); in hvio_iommu_map()1856 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid); in hvio_iommu_demap()1885 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid); in hvio_iommu_getmap()
433 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid); in px_lib_iommu_map()507 tsbindex_t tsb_index = PCI_TSBID_TO_TSBINDEX(tsbid); in px_lib_iommu_demap()