1 files changed, 6 insertions, 4 deletions

diff --git a/arch/arm/kernel/time.c b/arch/arm/kernel/time.c
index 1b7fcd50c3e2..8880482dcbff 100644
--- a/arch/arm/kernel/time.c
+++ b/arch/arm/kernel/time.c
@@ -433,10 +433,12 @@ void timer_dyn_reprogram(void)
 {
         struct dyn_tick_timer *dyn_tick = system_timer->dyn_tick;
 
-        write_seqlock(&xtime_lock);
-        if (dyn_tick->state & DYN_TICK_ENABLED)
-                dyn_tick->reprogram(next_timer_interrupt() - jiffies);
-        write_sequnlock(&xtime_lock);
+        if (dyn_tick) {
+                write_seqlock(&xtime_lock);
+                if (dyn_tick->state & DYN_TICK_ENABLED)
+                        dyn_tick->reprogram(next_timer_interrupt() - jiffies);
+                write_sequnlock(&xtime_lock);
+        }
 }
 
 static ssize_t timer_show_dyn_tick(struct sys_device *dev, char *buf)