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
8static __always_inline void sync_core(void)
9{
10	bcr_serialize();
11}
12
13void text_poke_sync(void);
14void text_poke_sync_lock(void);
15
16#endif /* _ASM_S390_TEXT_PATCHING_H */
17