// SPDX-License-Identifier: GPL-2.0-or-later

  /* saved per-CPU IRQ register pointer
   *
   * Copyright (C) 2006 Red Hat, Inc. All Rights Reserved.
   * Written by David Howells (dhowells@redhat.com)

   */

  #include <linux/export.h>
  #include <linux/percpu.h>

  #include <asm/irq_regs.h>
  
  #ifndef ARCH_HAS_OWN_IRQ_REGS
  DEFINE_PER_CPU(struct pt_regs *, __irq_regs);

  EXPORT_PER_CPU_SYMBOL(__irq_regs);

  #endif