From: Marc Zyngier <Marc.Zyngier@arm.com>
Date: Thu, 10 Jan 2013 11:13:07 +0000 (+0000)
Subject: ARM: arch_timers: switch to physical timers if HYP mode is available
X-Git-Tag: v3.9-rc1~115^2~8^2^2
X-Git-Url: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8266891e252f35dcb189c3f2371cfa588f8a8818;p=pandora-kernel.git

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>
---

Reading git-diff-tree failed