static inline unsigned int task_timeslice(task_t *p) 
static unsigned int task_timeslice(task_t *p) 
static inline unsigned int task_timeslice(task_t *p){	if (p->static_prio < NICE_TO_PRIO(0))		return SCALE_PRIO(DEF_TIMESLICE*4, p->static_prio);	else		return SCALE_PRIO(DEF_TIMESLICE, p->static_prio);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/48c08d3f8ff94fa118187e4d8d4a5707bb85e59d/sched.c/buggy/kernel/sched.c