If there are multi-GICs in the system, default host for GIC domain will be set for several times, fix it.
Signed-off-by: Hanjun Guo hanjun.guo@linaro.org --- drivers/irqchip/irq-gic.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/drivers/irqchip/irq-gic.c b/drivers/irqchip/irq-gic.c index 039b4a0..b158c6f 100644 --- a/drivers/irqchip/irq-gic.c +++ b/drivers/irqchip/irq-gic.c @@ -958,7 +958,10 @@ void __init gic_init_bases(unsigned int gic_nr, int irq_start, return;
#ifdef CONFIG_ACPI - irq_set_default_host(gic->domain); + /* do not set default host for GIC domain multi-times. + * TODO: we should consider more when multi GICs supported */ + if (!gic_nr) + irq_set_default_host(gic->domain); #endif
#ifdef CONFIG_SMP