arm/acpi: Configure SPI interrupt type and route to Dom0 dynamically
authorShannon Zhao <shannon.zhao@linaro.org>
Wed, 30 Mar 2016 10:14:00 +0000 (12:14 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 30 Mar 2016 15:03:35 +0000 (17:03 +0200)
commit9d77b3c01d1261ce17c10097a1b393f2893ca657
tree95604e7d879b4fa3da159194d77353b7b61afc1a
parent226c13e0eecb66f49ba0146bc5268e7ed6d73465
arm/acpi: Configure SPI interrupt type and route to Dom0 dynamically

Interrupt information is described in DSDT and is not available at the
time of booting. Check if the interrupt is permitted to access and set
the interrupt type, route it to guest dynamically only for SPI
and Dom0.

Signed-off-by: Parth Dixit <parth.dixit@linaro.org>
Signed-off-by: Shannon Zhao <shannon.zhao@linaro.org>
Reviewed-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/vgic.c