Symbol: aarch64_insn_adrp_set_offset
arch/arm64/include/asm/insn.h
694
u32 aarch64_insn_adrp_set_offset(u32 insn, s32 offset);
arch/arm64/kernel/alternative.c
92
insn = aarch64_insn_adrp_set_offset(insn, new_offset);