irqflag-debug.c

 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
 7noinstr 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}
13EXPORT_SYMBOL(warn_bogus_irq_restore);