On Thu, May 18, 2017 at 3:16 PM, Icenowy Zheng [off-list ref] 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 <redacted>
Acked-by: Rob Herring <redacted>

The subject prefix might need a bit of work, but otherwise

Reviewed-by: Chen-Yu Tsai <redacted>