xref: /linux/arch/x86/include/asm/doublefault.h (revision cdd5b5a9761fd66d17586e4f4ba6588c70e640ea) 
1dc4e0021SAndy Lutomirski /* SPDX-License-Identifier: GPL-2.0 */
2dc4e0021SAndy Lutomirski #ifndef _ASM_X86_DOUBLEFAULT_H
3dc4e0021SAndy Lutomirski #define _ASM_X86_DOUBLEFAULT_H
4dc4e0021SAndy Lutomirski 
5*c9664839SArnd Bergmann #include <linux/linkage.h>
6*c9664839SArnd Bergmann 
759330942SBorislav Petkov #ifdef CONFIG_X86_32
8dc4e0021SAndy Lutomirski extern void doublefault_init_cpu_tss(void);
9dc4e0021SAndy Lutomirski #else
doublefault_init_cpu_tss(void)10dc4e0021SAndy Lutomirski static inline void doublefault_init_cpu_tss(void)
11dc4e0021SAndy Lutomirski {
12dc4e0021SAndy Lutomirski }
13dc4e0021SAndy Lutomirski #endif
14dc4e0021SAndy Lutomirski 
15*c9664839SArnd Bergmann asmlinkage void __noreturn doublefault_shim(void);
16*c9664839SArnd Bergmann 
17dc4e0021SAndy Lutomirski #endif /* _ASM_X86_DOUBLEFAULT_H */
18