inc_prio_bias(rq, p->static_prio); 
if (rt_task(p)) inc_prio_bias(rq, p->prio); else inc_prio_bias(rq, p->static_prio); 
static inline void inc_nr_running(task_t *p, runqueue_t *rq){	rq->nr_running++;	inc_prio_bias(rq, p->static_prio);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dad1c65c8000f4485d8602e1875ded77e0d72133/sched.c/buggy/kernel/sched.c