RE: [PATCH v5 3/5] iommu: Add iommu_driver_get_domain_for_dev() helper

From: Tian, Kevin

Date: Fri Nov 14 2025 - 04:19:01 EST


> From: Nicolin Chen <nicolinc@xxxxxxxxxx>
> Sent: Tuesday, November 11, 2025 1:13 PM
>
> There is a need to stage a resetting PCI device to temporally the blocked

s/temporally/temporarily/