1 // SPDX-License-Identifier: GPL-2.0-only 1 // SPDX-License-Identifier: GPL-2.0-only
2 2
3 #include <linux/bug.h> 3 #include <linux/bug.h>
4 #include <linux/export.h> 4 #include <linux/export.h>
5 #include <linux/irqflags.h> 5 #include <linux/irqflags.h>
6 6
7 noinstr void warn_bogus_irq_restore(void) 7 noinstr void warn_bogus_irq_restore(void)
8 { 8 {
9 instrumentation_begin(); 9 instrumentation_begin();
10 WARN_ONCE(1, "raw_local_irq_restore() 10 WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n");
11 instrumentation_end(); 11 instrumentation_end();
12 } 12 }
13 EXPORT_SYMBOL(warn_bogus_irq_restore); 13 EXPORT_SYMBOL(warn_bogus_irq_restore);
14 14
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.