14 lines
324 B
C
14 lines
324 B
C
// SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
#include <linux/bug.h>
|
|
#include <linux/export.h>
|
|
#include <linux/irqflags.h>
|
|
|
|
noinstr void warn_bogus_irq_restore(void)
|
|
{
|
|
instrumentation_begin();
|
|
WARN_ONCE(1, "raw_local_irq_restore() called with IRQs enabled\n");
|
|
instrumentation_end();
|
|
}
|
|
EXPORT_SYMBOL(warn_bogus_irq_restore);
|