From: Rob Herring <[email protected]> There's really no need to set irq_start per platform for the primary gic. The SGIs and PPIs are not handled as normal irqs, so how irqs 0-31 are setup doesn't really matter. So allow irq_start to be set to 0 to match the linux irq numbering.
Signed-off-by: Rob Herring <[email protected]> --- arch/arm/common/gic.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/arch/arm/common/gic.c b/arch/arm/common/gic.c index 666b278..d1ccc72 100644 --- a/arch/arm/common/gic.c +++ b/arch/arm/common/gic.c @@ -359,7 +359,7 @@ void __init gic_init(unsigned int gic_nr, unsigned int irq_start, gic = &gic_data[gic_nr]; gic->dist_base = dist_base; gic->cpu_base = cpu_base; - gic->irq_offset = (irq_start - 1) & ~31; + gic->irq_offset = irq_start ? (irq_start - 1) & ~31 : 0; if (gic_nr == 0) gic_cpu_base_addr = cpu_base; -- 1.7.5.4 _______________________________________________ devicetree-discuss mailing list [email protected] https://lists.ozlabs.org/listinfo/devicetree-discuss
