arm/p2m: call iommu iotlb flush if iommu exists and enabled
authorAndrii Anisov <andrii_anisov@epam.com>
Wed, 23 Jan 2019 12:50:07 +0000 (14:50 +0200)
committerJulien Grall <julien.grall@arm.com>
Wed, 23 Jan 2019 13:35:51 +0000 (13:35 +0000)
commit9ed527dc95dd8f1871fc5c9f6fa5a58fbd0379a1
tree1cebf803e29ef29d7f2cb00c755d0bcdd0e2e133
parent08b908ba63dee8bc313983c5e412852cbcbcda85
arm/p2m: call iommu iotlb flush if iommu exists and enabled

Taking decision by `need_iommu_pt_sync()` make us never kicking
`iommu_iotlb_flush()` for IOMMUs which do share P2M with CPU.
So check `has_iommu_pt()` instead.

Signed-off-by: Andrii Anisov <andrii_anisov@epam.com>
Reviewed-by: Paul Durant <paul.durrant@citrix.com>
Release-Acked-by: Juergen Gross <jgross@suse.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/p2m.c