aarch64_get_branch_offset
s32 aarch64_get_branch_offset(u32 insn);
s32 offset = aarch64_get_branch_offset(insn);