1 files changed, 2 insertions, 0 deletions

diff --git a/arch/arm/kernel/arch_timer.c b/arch/arm/kernel/arch_timer.c
index c8dfec052f2d..94f503394c5c 100644
--- a/arch/arm/kernel/arch_timer.c
+++ b/arch/arm/kernel/arch_timer.c
@@ -155,6 +155,8 @@ static int __cpuinit arch_timer_setup(struct clock_event_device *clk)
                         enable_percpu_irq(arch_timer_ppi[PHYS_NONSECURE_PPI], 0);
         }
 
+        arch_counter_set_user_access();
+
         return 0;
 }