sched_rt_runtime  910 kernel/sched/rt.c 	u64 runtime = sched_rt_runtime(rt_rq);
sched_rt_runtime  919 kernel/sched/rt.c 	runtime = sched_rt_runtime(rt_rq);
sched_rt_runtime  985 kernel/sched/rt.c 		if (sched_rt_runtime(rt_rq) != RUNTIME_INF) {