| 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 |