From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Mon, 11 Feb 2013 20:31:23 +0000 (+0000)
Subject: patch disable_vtimer
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=e56ebb6590587d06cefa628ab23c92292f5fb58e;p=people%2Fsstabellini%2Flinux-pvhvm-deprecated.git

patch disable_vtimer
---

diff --git a/arch/arm/kernel/arch_timer.c b/arch/arm/kernel/arch_timer.c
index c8ef20747ee..3a2d7a75f66 100644
--- a/arch/arm/kernel/arch_timer.c
+++ b/arch/arm/kernel/arch_timer.c
@@ -42,7 +42,7 @@ static int arch_timer_ppi[MAX_TIMER_PPI];
 static struct clock_event_device __percpu **arch_timer_evt;
 static struct delay_timer arch_delay_timer;
 
-static bool arch_timer_use_virtual = true;
+static bool arch_timer_use_virtual = false;
 
 /*
  * Architected system timer support.