int default_wake_function(wait_queue_t *curr, unsigned mode, int sync, void *key) 
int default_wake_function(wait_queue_t *curr, unsigned mode, int sync, void *key) 
int default_wake_function(wait_queue_t *curr, unsigned mode, int sync, void *key){	task_t *p = curr->private;	return try_to_wake_up(p, mode, sync);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/95cdf3b799a481969a48d69a1a52916ad5da6694/sched.c/clean/kernel/sched.c