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