int nr_exclusive, void *key) 
int nr_exclusive, void *key) 
void fastcall __wake_up(wait_queue_head_t *q, unsigned int mode,				int nr_exclusive, void *key){	unsigned long flags;	spin_lock_irqsave(&q->lock, flags);	__wake_up_common(q, mode, nr_exclusive, 0, key);	spin_unlock_irqrestore(&q->lock, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/95cdf3b799a481969a48d69a1a52916ad5da6694/sched.c/clean/kernel/sched.c