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