Hi, > On 02 Sep 2016, at 16:15, Marc Zyngier <marc.zyngier at arm.com> wrote: > > So this is the interrupt that gets a mismatch. Yes. > Is there any other device in your system that uses the same interrupt? > Where can I see your full DT file? There is no other device using pioC 11. Here is the DT: http://pastebin.com/G7Z0hF5v