On Thu, May 18, 2017 at 3:16 PM, Icenowy Zheng <icen...@aosc.io> wrote: > The A31 NMI driver seems to be using wrong base address. > > As we're going to convert to use a correct NMI base address (and > correctly name it to R_INTC as the datasheet suggests), add a new > compatible string for the "correct" R_INTC, which we will use for A64 > SoC. > > Signed-off-by: Icenowy Zheng <icen...@aosc.io> > Acked-by: Rob Herring <r...@kernel.org>
The subject prefix might need a bit of work, but otherwise Reviewed-by: Chen-Yu Tsai <w...@csie.org>
