down(&cpuset_sem); 
cpuset_down(&cpuset_sem); 
static int cpuset_sprintf_cpulist(char *page, struct cpuset *cs){	cpumask_t mask;	down(&cpuset_sem);	mask = cs->cpus_allowed;	up(&cpuset_sem);	return cpulist_scnprintf(page, PAGE_SIZE, mask);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4247bdc60048018b98f71228b45cfbc5f5270c86/cpuset.c/clean/kernel/cpuset.c