|
@@ -957,12 +957,13 @@ void __init gic_init_bases(unsigned int gic_nr, int irq_start,
|
|
|
if (WARN_ON(!gic->domain))
|
|
|
return;
|
|
|
|
|
|
+ if (gic_nr == 0) {
|
|
|
#ifdef CONFIG_SMP
|
|
|
- set_smp_cross_call(gic_raise_softirq);
|
|
|
- register_cpu_notifier(&gic_cpu_notifier);
|
|
|
+ set_smp_cross_call(gic_raise_softirq);
|
|
|
+ register_cpu_notifier(&gic_cpu_notifier);
|
|
|
#endif
|
|
|
-
|
|
|
- set_handle_irq(gic_handle_irq);
|
|
|
+ set_handle_irq(gic_handle_irq);
|
|
|
+ }
|
|
|
|
|
|
gic_chip.flags |= gic_arch_extn.flags;
|
|
|
gic_dist_init(gic);
|