Symbol: rt_se_boosted
kernel/sched/rt.c
1122
if (rt_se_boosted(rt_se))
kernel/sched/rt.c
1131
if (rt_se_boosted(rt_se))