aarch64_insn_adrp_get_offset
s32 aarch64_insn_adrp_get_offset(u32 insn);
orig_offset = aarch64_insn_adrp_get_offset(insn);
return (p + aarch64_insn_adrp_get_offset(le32_to_cpu(a->adrp))) ==
(q + aarch64_insn_adrp_get_offset(le32_to_cpu(b->adrp)));
aarch64_insn_adrp_get_offset(le32_to_cpup(tramp + 4)) +