|
@@ -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 */
|