On Wed, Nov 9, 2016 at 3:19 PM, Lorenzo Pieralisi
[off-list ref] wrote:

DT based systems have a generic kernel API to configure IOMMUs
for devices (ie of_iommu_configure()).

On ARM based ACPI systems, the of_iommu_configure() equivalent can
be implemented atop ACPI IORT kernel API, with the corresponding
functions to map device identifiers to IOMMUs and retrieve the
corresponding IOMMU operations necessary for DMA operations set-up.

By relying on the iommu_fwspec generic kernel infrastructure,
implement the IORT based IOMMU configuration for ARM ACPI systems
and hook it up in the ACPI kernel layer that implements DMA
configuration for a device.

Signed-off-by: Lorenzo Pieralisi <redacted>
Tested-by: Hanjun Guo <redacted>
Tested-by: Tomasz Nowicki <redacted>
Cc: Hanjun Guo <redacted>
Cc: Tomasz Nowicki <redacted>
Cc: "Rafael J. Wysocki" <redacted>

For the ACPI core part:

Acked-by: Rafael J. Wysocki <redacted>