[PATCH v4 1/5] ARM: arch_timers: switch to physical timers if HYP mode is available

[Will Deacon]

On Sat, Nov 10, 2012 at 03:46:05PM +0000, Christoffer Dall 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>

Seems simple enough.

Reviewed-by: Will Deacon <will.deacon at arm.com>

Will