ARM: arch_timers: switch to physical timers if HYP mode is available
authorMarc Zyngier <Marc.Zyngier@arm.com>
Thu, 10 Jan 2013 11:13:07 +0000 (11:13 +0000)
committerMark Rutland <mark.rutland@arm.com>
Thu, 31 Jan 2013 15:52:00 +0000 (15:52 +0000)
commit8266891e252f35dcb189c3f2371cfa588f8a8818
treea708f74df24a68dc2d2560a45f4e543f77e6baa9
parentc2b01e06a9c97cf21ad44b91b3280b0797839a62
ARM: arch_timers: switch to physical timers if HYP mode is available

If we're booted in HYP mode, it is possible that we'll run some
kind of virtualized environment. In this case, it is a better to
switch to the physical timers, and leave the virtual timers to
guests.

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Acked-by: Catalin Marinas <catalin.marinas@arm.com>
drivers/clocksource/arm_arch_timer.c