PCI_TSBID
if (px_lib_iommu_map(dip, PCI_TSBID(0, i), npages,
if (px_lib_iommu_map(dip, PCI_TSBID(0, i + npages), 1,
(void) px_lib_iommu_demap(dip, PCI_TSBID(0, i), npages);
if (px_lib_iommu_map(dip, PCI_TSBID(0, pg_index), npages,
if (px_lib_iommu_getmap(px_p->px_dip, PCI_TSBID(0, tsb_i),
if (px_lib_iommu_map(dip, PCI_TSBID(0, pg_index), npages,
if (px_lib_iommu_map(dip, PCI_TSBID(0, pg_index + npages), 1,
if (px_lib_iommu_demap(dip, PCI_TSBID(0, pg_index), npages)
PCI_TSBID(0, pg_index), npages) != DDI_SUCCESS) {
PCI_TSBID(0, pg_index + npages), 1) != DDI_SUCCESS) {
if ((ret = px_lib_iommu_map(px_p->px_dip, PCI_TSBID(0, pg_index),
PCI_TSBID(0, pg_index), MMU_BTOP(size));
PCI_TSBID(tsb_num, tsb_index + (pfn_p - pfns)),
PCI_TSBID(tsb_num, tsb_index), ttes2demap,