| commit | f81f03fa231a8c3aacd580759e73b9238b92ba29 | [log] [tgz] |
|---|---|---|
| author | Marc Zyngier <marc.zyngier@arm.com> | Thu Feb 20 15:21:23 2014 +0000 |
| committer | Marc Zyngier <marc.zyngier@arm.com> | Mon Feb 29 18:34:16 2016 +0000 |
| tree | 475b6e0b10543fb9f2cd92ee78382ed1392a182d | |
| parent | 82deae0fc8ba256c1061dd4de42f0ef6cb9f954f [diff] |
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>