cpuset_up(&cpuset_sem); 
up(&cpuset_sem); 
void cpuset_exit(struct task_struct *tsk){	struct cpuset *cs;	task_lock(tsk);	cs = tsk->cpuset;	tsk->cpuset = NULL;	task_unlock(tsk);	if (notify_on_release(cs)) {		char *pathbuf = NULL;		cpuset_down(&cpuset_sem);		if (atomic_dec_and_test(&cs->count))			check_for_release(cs, &pathbuf);		cpuset_up(&cpuset_sem);		cpuset_release_agent(pathbuf);	} else {		atomic_dec(&cs->count);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5aa15b5f27fc2c404530c6c8eabdb8437deb3163/cpuset.c/buggy/kernel/cpuset.c