[PATCHv5 14/16] ARM: arch_timers: switch to physical timers if HYP mode is available

[Catalin Marinas]

On Thu, Jan 31, 2013 at 12:15:37PM +0000, Mark Rutland wrote:
> From: Marc Zyngier <Marc.Zyngier at arm.com>
> 
> 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 at arm.com>
> Signed-off-by: Mark Rutland <mark.rutland at arm.com>

Acked-by: Catalin Marinas <catalin.marinas at arm.com>