DEF_TIMESLICE    5750 kernel/sched.c 		time_slice = DEF_TIMESLICE;
DEF_TIMESLICE    1481 kernel/sched_rt.c 	p->rt.time_slice = DEF_TIMESLICE;