apply_seal_endbr
extern void apply_seal_endbr(s32 *start, s32 *end);
apply_seal_endbr(__ibt_endbr_seal, __ibt_endbr_seal_end);
apply_seal_endbr(iseg, iseg + ibt_endbr->sh_size);