to_ratio         8891 kernel/sched.c 	total = to_ratio(period, runtime);
to_ratio         8896 kernel/sched.c 	if (total > to_ratio(global_rt_period(), global_rt_runtime()))
to_ratio         8911 kernel/sched.c 		sum += to_ratio(period, runtime);