On Wed, Sep 16, 2020 at 5:11 PM Marc Zyngier <maz@xxxxxxxxxx> wrote: > Can you try the patch below and let me know? I tried this patch and now Ux500 WORKS. So this patch is definitely something you should apply. > - if (is_frankengic()) > - set_sgi_intid(irqstat); > + this_cpu_write(sgi_intid, intid); This needs changing to irqstat to compile as pointed out by Jon. With that: Tested-by: Linus Walleij <linus.walleij@xxxxxxxxxx> Yours, Linus Walleij