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