1 files changed, 1 insertions, 0 deletions

diff --git a/kernel/timer.c b/kernel/timer.c
index 1d7dd6267c2d..6c9fa80088ed 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -175,6 +175,7 @@ static inline void detach_timer(struct timer_list *timer,
  */
 static tvec_base_t *lock_timer_base(struct timer_list *timer,
                                         unsigned long *flags)
+        __acquires(timer->base->lock)
 {
         tvec_base_t *base;