kernel/locking/irqflag-debug.c

0001 // SPDX-License-Identifier: GPL-2.0-only
0002
0003 #include <linux/bug.h>
0004 #include <linux/export.h>
0005 #include <linux/irqflags.h>
0006
0007 noinstr void warn_bogus_irq_restore(void)
0008 {
0009     instrumentation_begin();
0010     WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n");
0011     instrumentation_end();
0012 }
0013 EXPORT_SYMBOL(warn_bogus_irq_restore);