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