[PATCH v19 00/15] acpi, clocksource: add GTDT driver and GTDT support in arm_arch_timer

[Mark Rutland]

On Mon, Jan 16, 2017 at 02:26:54PM +0800, Fu Wei wrote:
> Hi Mark,
> 
> This v19 (I have mentioned it in my previous email) is the latest
> patchset which can be applied on v4.10-rc4 directly.
> 
> please review this patchset, thanks! :-)

Thanks for the pointer; I will look at this shortly.

Mark.