diff --git a/kernel/time/hrtimer.c b/kernel/time/hrtimer.c
index 88f75f92ef368c53ba8f2a1832068dbe9710cb49..d32520840fde9b1d0e63a4be7d96e092ddd06acf 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 */