[PATCH 1/3] gpio: at91: use dev_read_addr() to get base address

[Simon Glass]

On Mon, 3 Aug 2020 at 23:15, Masahiro Yamada
<yamada.masahiro at socionext.com> wrote:
>
> It is strange to use devfdt_get_addr_ptr(), then cast the pointer
> back to uint32 because you could use devfdt_get_addr() without casting.
>
> Convert it to dev_read_addr(), which is capable to CONFIG_OF_LIVE.
>
> Signed-off-by: Masahiro Yamada <yamada.masahiro at socionext.com>
> ---
>
>  drivers/gpio/at91_gpio.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)

Reviewed-by: Simon Glass <sjg at chromium.org>