[PATCH 5/5] ARM: gic: add OF based initialization

On Thu, Sep 15, 2011 at 12:07:25PM +0200, Cousson, Benoit wrote:

On OMAP4 the SoC interrupts external to the MPU (SPI) have an offset of  
32. Only the internal PPI are between 0 and 31.

SGIs are 0 to 15, PPIs are 16 to 31, and SPIs are 32+ - that's the
numbering given to us by the GIC.

The real HW physical number start at 0, and thus this is that value that  
should be in the irq binding of the device.

That depends whether you're counting SPI number or whether you're counting
IRQ number in the GIC interfaces.  SPI0 will be reported to us from the
GIC as 32, not 0, so to start numbering from 0 (which is already frowned
upon for many reasons) we'd have to subtract 32 after checking that the
IRQ is not a SGI nor PPI in the assembly code instead.