text-patching.h

 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 */