From e56ebb6590587d06cefa628ab23c92292f5fb58e Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Mon, 11 Feb 2013 20:31:23 +0000 Subject: [PATCH] patch disable_vtimer --- arch/arm/kernel/arch_timer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.39.5