[PATCH 3/6] ACPI/IORT: Use device_iommu_mapped()