apply_seal_endbr
void apply_seal_endbr(s32 *start, s32 *end)
void __init_or_module noinline apply_seal_endbr(s32 *start, s32 *end)
void __init_or_module apply_seal_endbr(s32 *start, s32 *end) { }