__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);