1/* SPDX-License-Identifier: GPL-2.0-only */
 2#ifndef	__ASM_PATCHING_H
 3#define	__ASM_PATCHING_H
 4
 5#include <linux/types.h>
 6
 7int aarch64_insn_read(void *addr, u32 *insnp);
 8int aarch64_insn_write(void *addr, u32 insn);
 9
10int aarch64_insn_patch_text_nosync(void *addr, u32 insn);
11int aarch64_insn_patch_text(void *addrs[], u32 insns[], int cnt);
12
13#endif	/* __ASM_PATCHING_H */