Hello, On Mon, 12 Dec 2016 19:16:51 +0000, Russell King - ARM Linux wrote: > I'd send something, but I don't know what the GIC interrupt number > would be without using the CP110's ICU (which isn't supported in > mainline yet.) For now, mainline relies on a static mapping of CP interrupts to GIC interrupts, via an ICU configuration done in ATF. It's pretty straightforward to figure out the CP interrupts to GIC interrupt mapping if you have access to the ATF source code. If you don't, I can provide the necessary details. 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 linux-mmc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html