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