On Thu, May 18, 2017 at 3:16 PM, Icenowy Zheng <[email protected]> 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 <[email protected]> > Acked-by: Rob Herring <[email protected]>
The subject prefix might need a bit of work, but otherwise Reviewed-by: Chen-Yu Tsai <[email protected]>
