On Tuesday 03 December 2013, Hanjun Guo wrote:

+static unsigned int gsi_to_irq(unsigned int gsi)
+{
+       int irq = irq_create_mapping(NULL, gsi);
+
+       return irq;
+}

I think this could use a comment regarding your plans for IRQ domains.

Do you expect that all ACPI systems would have only a single GIC IRQ
controller and a single domain, or do you plan to add irqdomain code
later?

	Arnd