On Thu, May 18, 2017 at 3:16 PM, Icenowy Zheng <icenowy@xxxxxxx> 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 <icenowy@xxxxxxx> > Acked-by: Rob Herring <robh@xxxxxxxxxx> The subject prefix might need a bit of work, but otherwise Reviewed-by: Chen-Yu Tsai <wens@xxxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
