1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|---|
2 | #ifndef _ASM_X86_DOUBLEFAULT_H |
3 | #define _ASM_X86_DOUBLEFAULT_H |
4 | |
5 | #include <linux/linkage.h> |
6 | |
7 | #ifdef CONFIG_X86_32 |
8 | extern void doublefault_init_cpu_tss(void); |
9 | #else |
10 | static inline void doublefault_init_cpu_tss(void) |
11 | { |
12 | } |
13 | #endif |
14 | |
15 | asmlinkage void __noreturn doublefault_shim(void); |
16 | |
17 | #endif /* _ASM_X86_DOUBLEFAULT_H */ |
18 |