aarch64_insn_adrp_set_offset
u32 aarch64_insn_adrp_set_offset(u32 insn, s32 offset);
insn = aarch64_insn_adrp_set_offset(insn, new_offset);