Symbol: sched_rt_runtime
kernel/sched/rt.c
865
u64 runtime = sched_rt_runtime(rt_rq);
kernel/sched/rt.c
874
runtime = sched_rt_runtime(rt_rq);
kernel/sched/rt.c
996
if (sched_rt_runtime(rt_rq) != RUNTIME_INF) {