DEV_TAB_BASE_REG
iommu_read_8(iommu, DEV_TAB_BASE_REG),
iommu_write_8(iommu, DEV_TAB_BASE_REG, (sc->sc_hwdtep & DEV_TAB_MASK) | DEV_TAB_LEN);