__put_task_struct 1473 include/linux/sched.h extern void __put_task_struct(struct task_struct *t);
__put_task_struct 1478 include/linux/sched.h 		__put_task_struct(t);