put_task_struct_rcu_user
void put_task_struct_rcu_user(struct task_struct *task);
put_task_struct_rcu_user(p);
put_task_struct_rcu_user(p);
put_task_struct_rcu_user(p);
put_task_struct_rcu_user(prev);