cpuset_down(&cpuset_sem); 
down(&cpuset_sem); 
void cpuset_update_current_mems_allowed(void){	struct cpuset *cs = current->cpuset;	if (!cs)		return;		/* task is exiting */	if (current->cpuset_mems_generation != cs->mems_generation) {		cpuset_down(&cpuset_sem);		refresh_mems();		cpuset_up(&cpuset_sem);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5aa15b5f27fc2c404530c6c8eabdb8437deb3163/cpuset.c/buggy/kernel/cpuset.c