1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/timer.c b/kernel/timer.c
index ab083d12eb3a..2c8d770c5876 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -338,6 +338,7 @@ del_again:
 			break;
 		}
 	}
+	smp_rmb();
 	if (timer_pending(timer))
 		goto del_again;