xen/passthrough: arm: release the DT devices assigned to a guest earlier
authorJulien Grall <julien.grall@linaro.org>
Tue, 28 Apr 2015 14:32:32 +0000 (15:32 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 8 May 2015 14:41:59 +0000 (15:41 +0100)
commit29fbda7e15c6eb16ac9513d0c1838b087a68e055
tree133a19b07f02bb2ab58b1bd84e42fb2a7ca288ae
parent4c79d069a1cd449648380f580dd1c9aa8fdd6519
xen/passthrough: arm: release the DT devices assigned to a guest earlier

The toolstack may not have deassigned every device used by a guest.
Therefore we have to go through the device list and remove them before
asking the IOMMU drivers to release memory for this domain.

This can be done by moving the call to the release function when we
relinquish the resources. The IOMMU part will be destroyed later when
the domain is freed.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Signed-off-by: Robert VanVossen <robert.vanvossen@dornerworks.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/drivers/passthrough/arm/iommu.c
xen/drivers/passthrough/device_tree.c
xen/include/xen/iommu.h