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