On Wed, 28 Mar 2018, Marc Zyngier wrote:
Looks good to me. How do you want to get this patch merged? Either you deal with it as part of this series, (and in which case please add my Ack on it), or I can take it via the irqchip tree.
Considering Ingo picked up the patches in his jurisdiction, I think it is preferable if you pick this one up yourself. Thanks, Davidlohr
