Hello, On Tue, 30 May 2017 16:17:41 +0100, Marc Zyngier wrote: > > Indeed. But do we care? Can an edge interrupt be left pending from the > > firmware? > > I cannot see why not. It is just as likely as a level interrupt. OK. > > I'm not sure how to use this irq_set_irqchip_state() API. I guess it > > needs a virq that corresponds to the GIC SPI interrupt, and I'm not > > sure how to get that. > > You do have the virtual interrupt when doing the allocation (it is > passed as a parameter). So you could perform the mapping (call into the > lower layers), and clear the pending bit using the above API. So in mvebu_icu_irq_domain_alloc(), if I do: irq_set_irqchip_state(virq, IRQCHIP_STATE_MASKED, true); this will go all the way to the ->irq_set_irqchip_state() in the GIC? I thought the virq we had was referring to an irq from the ICU domain, not from the GIC one. But maybe I'm still getting confused by all these irq domains. > But maybe you don't have any edge interrupt on this SoC, and it doesn't > matter. We currently don't have any in the devices we support in the SoC, but since the ICU does support edge interrupts explicitly, it's nicer if we can get this right. Plus if this actually works, we don't need the marvell,gicp "driver" anymore. Best regards, Thomas -- Thomas Petazzoni, CTO, Free Electrons Embedded Linux and Kernel engineering http://free-electrons.com -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html