} else { atomic_dec(&cs->count); 
void cpuset_exit(struct task_struct *tsk){	struct cpuset *cs;	task_lock(tsk);	cs = tsk->cpuset;	tsk->cpuset = NULL;	task_unlock(tsk);	if (atomic_dec_and_test(&cs->count)) {		down(&cpuset_sem);		check_for_release(cs);		up(&cpuset_sem);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2efe86b809d97debaaf9fcc13b041aedf15bd3d2/cpuset.c/clean/kernel/cpuset.c