static inline void dec_prio_bias(runqueue_t *rq, int static_prio) 
static inline void dec_prio_bias(runqueue_t *rq, int prio) 
static inline void dec_prio_bias(runqueue_t *rq, int static_prio){}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dad1c65c8000f4485d8602e1875ded77e0d72133/sched.c/buggy/kernel/sched.c