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