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

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.