xen/arm: Don't give IOMMU devices to dom0 when iommu is disabled
authorJulien Grall <julien.grall@linaro.org>
Tue, 13 May 2014 15:50:27 +0000 (16:50 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 14 May 2014 13:45:42 +0000 (14:45 +0100)
commit6d49536d844a2685a50281c5385a093a61911987
treeb8d10251b19d9af02cc8d36548849b2d5a4acfcb
parent7d0f4a2cad3faa6dbecca87b1b11cf19ce06cd97
xen/arm: Don't give IOMMU devices to dom0 when iommu is disabled

When iommu={disable,off,no,false} is given to Xen command line, the IOMMU
framework won't specify that the device shouldn't be passthrough to DOM0.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/device.c
xen/arch/arm/domain_build.c
xen/include/asm-arm/device.h