cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

irqflag-debug.c (324B)

      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);