RE: [PATCH v5 2/5] iommu: Tiny domain for iommu_setup_dma_ops()

[Tian, Kevin]

> From: Nicolin Chen <nicolinc@xxxxxxxxxx>
> Sent: Tuesday, November 11, 2025 1:13 PM
> 
> This function can only be called on the default_domain. Trivally pass it
> in. In all three existing cases, the default domain was just attached to
> the device.
> 
> This avoids iommu_setup_dma_ops() calling iommu_get_domain_for_dev()
> the that will be used by external callers.

remove 'the' before 'that'