[Linaro-acpi] [PATCH v23 10/11] clocksource: arm_arch_timer: add GTDT support for memory-mapped timer