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 -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html