TSB_SIZE_SHIFT
(TSB_SIZE << TSB_SIZE_SHIFT | IOMMU_DISABLE);
*softsp->iommu_ctrl_reg = (uint64_t)(tsb_size << TSB_SIZE_SHIFT