| // 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 |