1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_SOFTIRQ_STACK_H
3#define _ASM_X86_SOFTIRQ_STACK_H
4
5#ifdef CONFIG_X86_64
6# include <asm/irq_stack.h>
7#else
8# include <asm-generic/softirq_stack.h>
9#endif
10
11#endif
12