On 27 August 2018 at 08:16, Luc Michel <luc.mic...@greensocs.com> wrote: > > > On 8/23/18 12:38 PM, Peter Maydell wrote: >> + * + unnamed GPIO inputs: (where P is number of PPIs, i.e. num-irq - 32) > I think here it's "where P is the number of SPIs". > > Apart from that: > > Reviewed-by: Luc Michel <luc.mic...@greensocs.com>
Thanks; applied to target-arm.next with that fix made. -- PMM