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_revert(s32 *start, s32 *end); 13 14 #endif /* __ASSEMBLY__ */ 15 16 #endif /* _ASM_S390_EXPOLINE_H */ 17