kernel/locking/irqflag-debug.c

   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 noinstr void warn_bogus_irq_restore(void)
   8 {
   9         instrumentation_begin();
  10         WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n");
  11         instrumentation_end();
  12 }
  13 EXPORT_SYMBOL(warn_bogus_irq_restore);