Re: [PATCH 13/13] clocksource/drivers/dw_apb: Add reset control

[Thomas Gleixner]

On Sun, 7 Oct 2018, Marek Vasut wrote:
> 
> I reported this to Dinh and gave him some prototype patches to start
> with, since I didn't have the time to write a patch. You can change it
> to Reported-by: if you want.

Marek, thanks for clarification!