1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef _ASM_S390_TEXT_PATCHING_H
4 #define _ASM_S390_TEXT_PATCHING_H
5 
6 #include <asm/barrier.h>
7 
sync_core(void)8 static __always_inline void sync_core(void)
9 {
10 	bcr_serialize();
11 }
12 
13 void text_poke_sync(void);
14 void text_poke_sync_lock(void);
15 
16 #endif /* _ASM_S390_TEXT_PATCHING_H */
17