Line data    Source code

       1             : // SPDX-License-Identifier: GPL-2.0-only
       2             : 
       3             : #include <linux/bug.h>
       4             : #include <linux/export.h>
       5             : #include <linux/irqflags.h>
       6             : 
       7           4 : noinstr void warn_bogus_irq_restore(void)
       8             : {
       9           4 :         instrumentation_begin();
      10           4 :         WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n");
      11           4 :         instrumentation_end();
      12           4 : }
      13             : EXPORT_SYMBOL(warn_bogus_irq_restore);