old_runtime      2653 kernel/sched/rt.c 	int old_period, old_runtime;
old_runtime      2659 kernel/sched/rt.c 	old_runtime = sysctl_sched_rt_runtime;
old_runtime      2682 kernel/sched/rt.c 		sysctl_sched_rt_runtime = old_runtime;