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); |
14 |