throttled_usec   7723 kernel/sched/core.c 		u64 throttled_usec;
throttled_usec   7725 kernel/sched/core.c 		throttled_usec = cfs_b->throttled_time;
throttled_usec   7726 kernel/sched/core.c 		do_div(throttled_usec, NSEC_PER_USEC);
throttled_usec   7732 kernel/sched/core.c 			   throttled_usec);