1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_X86_DOUBLEFAULT_H
 3#define _ASM_X86_DOUBLEFAULT_H
 4
 5#ifdef CONFIG_X86_32
 6extern void doublefault_init_cpu_tss(void);
 7#else
 8static inline void doublefault_init_cpu_tss(void)
 9{
10}
11#endif
12
13#endif /* _ASM_X86_DOUBLEFAULT_H */