xen/arm: domain_build: Black list devices using PPIs
authorAmit Singh Tomar <amittomer25@gmail.com>
Sun, 23 Jun 2019 12:56:31 +0000 (18:26 +0530)
committerJulien Grall <julien.grall@arm.com>
Tue, 9 Jul 2019 14:15:24 +0000 (15:15 +0100)
commit9b1a31922ac066ef0dffe36ebd6a6ba016567d69
tree53fc9852be43dc1804dc3014041977d1d7beec21
parentc1247554578180ba1ff688fd4892f498243c230e
xen/arm: domain_build: Black list devices using PPIs

Currently, the vGIC is not able to cope with hardware PPIs routed to guests.
One of the solutions to this problem is to skip any device that uses PPI
source completely while building the domain itself.

This patch goes through all the interrupt sources of a device and skip it
if one of the interrupts sources is a PPI. It fixes XEN boot on i.MX8MQ by
skipping the PMU node.

Suggested-by: Julien Grall <julien.grall@arm.com>
Signed-off-by: Amit Singh Tomar <amittomer25@gmail.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/domain_build.c