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