1997acaf6SMark Rutland // SPDX-License-Identifier: GPL-2.0-only 2997acaf6SMark Rutland 3997acaf6SMark Rutland #include <linux/bug.h> 4997acaf6SMark Rutland #include <linux/export.h> 5997acaf6SMark Rutland #include <linux/irqflags.h> 6997acaf6SMark Rutland warn_bogus_irq_restore(void)7*c8cc7e85SPeter Zijlstranoinstr void warn_bogus_irq_restore(void) 8997acaf6SMark Rutland { 9*c8cc7e85SPeter Zijlstra instrumentation_begin(); 10997acaf6SMark Rutland WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n"); 11*c8cc7e85SPeter Zijlstra instrumentation_end(); 12997acaf6SMark Rutland } 13997acaf6SMark Rutland EXPORT_SYMBOL(warn_bogus_irq_restore); 14