arm64: Allow the arch timer to use the HYP timer
authorMarc Zyngier <marc.zyngier@arm.com>
Thu, 20 Feb 2014 15:21:23 +0000 (15:21 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Mon, 29 Feb 2016 18:34:16 +0000 (18:34 +0000)
commitf81f03fa231a8c3aacd580759e73b9238b92ba29
tree475b6e0b10543fb9f2cd92ee78382ed1392a182d
parent82deae0fc8ba256c1061dd4de42f0ef6cb9f954f
arm64: Allow the arch timer to use the HYP timer

With the ARMv8.1 VHE, the kernel can run in HYP mode, and thus
use the HYP timer instead of the normal guest timer in a mostly
transparent way, except for the interrupt line.

This patch reworks the arch timer code to allow the selection of
the HYP PPI, possibly falling back to the guest timer if not
available.

Reviewed-by: Christoffer Dall <christoffer.dall@linaro.org>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
drivers/clocksource/arm_arch_timer.c