Branch data 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 : : #if defined(CONFIG_X86_32) && defined(CONFIG_DOUBLEFAULT) 6 : : extern void doublefault_init_cpu_tss(void); 7 : : #else 8 : 30 : static inline void doublefault_init_cpu_tss(void) 9 : : { 10 : 30 : } 11 : : #endif 12 : : 13 : : #endif /* _ASM_X86_DOUBLEFAULT_H */