patch disable_vtimer

diff --git a/arch/arm/kernel/arch_timer.c b/arch/arm/kernel/arch_timer.c
index c8ef20747ee75a5b0426c8338b2bfb068e2d376e..3a2d7a75f669070109d82dd26dd9707c2ff651cf 100644 (file)
--- 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.