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