1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_S390_EXPOLINE_H 3 #define _ASM_S390_EXPOLINE_H 4 5 #ifndef __ASSEMBLY__ 6 7 #include <linux/types.h> 8 9 extern int nospec_disable; 10 11 void nospec_init_branches(void); 12 void nospec_auto_detect(void); 13 void nospec_revert(s32 *start, s32 *end); 14 15 #endif /* __ASSEMBLY__ */ 16 17 #endif /* _ASM_S390_EXPOLINE_H */ 18