Line data Source code
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 6 : extern void doublefault_init_cpu_tss(void); 7 : #else 8 4 : static inline void doublefault_init_cpu_tss(void) 9 : { 10 4 : } 11 : #endif 12 : 13 : #endif /* _ASM_X86_DOUBLEFAULT_H */