Searched refs:tsbnum_t (Results 1 – 2 of 2) sorted by relevance
188 typedef uint32_t tsbnum_t; typedef
432 tsbnum_t tsb_num = PCI_TSBID_TO_TSBNUM(tsbid); in px_lib_iommu_map()506 tsbnum_t tsb_num = PCI_TSBID_TO_TSBNUM(tsbid); in px_lib_iommu_demap()