1 files changed, 1 insertions, 3 deletions

diff --git a/kernel/time/hrtimer.c b/kernel/time/hrtimer.c
index 88f75f92ef36..d32520840fde 100644
--- a/kernel/time/hrtimer.c
+++ b/kernel/time/hrtimer.c
@@ -758,9 +758,7 @@ void clock_was_set(void)
  */
 void hrtimers_resume(void)
 {
-        WARN_ONCE(!irqs_disabled(),
-                  KERN_INFO "hrtimers_resume() called with IRQs enabled!");
-
+        lockdep_assert_irqs_disabled();
         /* Retrigger on the local CPU */
         retrigger_next_event(NULL);
         /* And schedule a retrigger for all others */