linux/kernel/locking/irqflag-debug.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)
{ … }
EXPORT_SYMBOL(…);