nospec-branch.h (455B)
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 9extern int nospec_disable; 10 11void nospec_init_branches(void); 12void nospec_auto_detect(void); 13void nospec_revert(s32 *start, s32 *end); 14 15static inline bool nospec_uses_trampoline(void) 16{ 17 return __is_defined(CC_USING_EXPOLINE) && !nospec_disable; 18} 19 20#endif /* __ASSEMBLY__ */ 21 22#endif /* _ASM_S390_EXPOLINE_H */