On Mon 2020-08-03 11:19:36, Krzysztof Kozlowski wrote:
> The driver includes machine header for GPIO registers but actually does
> not use them.
> 
> Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>

Thanks, applied.
-- 
(english) http://www.livejournal.com/~pavelmachek
(cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html