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);}