On Tuesday 03 December 2013, Hanjun Guo wrote:
/*
* ACPI have no bindings to indicate SPI or PPI, so we
* use different mappings from DT in ACPI.
*
* For FDT
* PPI interrupt: in the range [0, 15];
* SPI interrupt: in the range [0, 987];
*
* For ACPI, using identity mapping for hwirq:
* PPI interrupt: in the range [16, 31];
* SPI interrupt: in the range [32, 1019];
This difference might cause endless confusion. Can't you register PPI and SPI as separate IRQ controllers to have the same number space that we normally have?
Arnd