int fastcall wake_up_process(task_t * p) 
int fastcall wake_up_process(task_t *p) 
int fastcall wake_up_process(task_t * p){	return try_to_wake_up(p, TASK_STOPPED | TASK_TRACED |				 TASK_INTERRUPTIBLE | TASK_UNINTERRUPTIBLE, 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/95cdf3b799a481969a48d69a1a52916ad5da6694/sched.c/clean/kernel/sched.c