rt_nr_boosted     163 kernel/sched/rt.c 	rt_rq->rt_nr_boosted = 0;
rt_nr_boosted     525 kernel/sched/rt.c 	return rt_rq->rt_throttled && !rt_rq->rt_nr_boosted;
rt_nr_boosted     534 kernel/sched/rt.c 		return !!rt_rq->rt_nr_boosted;
rt_nr_boosted    1128 kernel/sched/rt.c 		rt_rq->rt_nr_boosted++;
rt_nr_boosted    1138 kernel/sched/rt.c 		rt_rq->rt_nr_boosted--;
rt_nr_boosted    1140 kernel/sched/rt.c 	WARN_ON(!rt_rq->rt_nr_running && rt_rq->rt_nr_boosted);
rt_nr_boosted     625 kernel/sched/sched.h 	unsigned long		rt_nr_boosted;