arm/gic: Add ACPI support for GIC preinit
authorShannon Zhao <zhaoshenglong@huawei.com>
Wed, 2 Mar 2016 07:37:00 +0000 (08:37 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 3 Mar 2016 08:08:35 +0000 (09:08 +0100)
commit07390d3122d2f089c65e10d874dab9aefb5ff849
tree65d5c193c93fe52d156421d19855c0f9d66f3a34
parent4b4fe61b92b1bf4babd6863d05ff9e8158b3ab16
arm/gic: Add ACPI support for GIC preinit

Since ACPI 6.0 defines that GIC Distributor Structure contains the GIC
version filed, it could get GIC version from that. Then call acpi device
initializing function to preinit GIC device.

Signed-off-by: Shannon Zhao <shannon.zhao@linaro.org>
Reviewed-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/gic.c