diff --git a/kernel/timer.c b/kernel/timer.c
index 1d7dd6267c2de52206bb2f09ca981ff81db4b1a1..6c9fa80088eda58a3203c2a5616738894bfcb9f3 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;