| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #ifndef __ASM_PATCHING_H | |
| #define __ASM_PATCHING_H | |
| #include <linux/types.h> | |
| int aarch64_insn_read(void *addr, u32 *insnp); | |
| int aarch64_insn_write(void *addr, u32 insn); | |
| int aarch64_insn_write_literal_u64(void *addr, u64 val); | |
| int aarch64_insn_patch_text_nosync(void *addr, u32 insn); | |
| int aarch64_insn_patch_text(void *addrs[], u32 insns[], int cnt); | |
| #endif /* __ASM_PATCHING_H */ |