const cpumask_t cpuset_cpus_allowed(const struct task_struct *tsk) 
cpumask_t cpuset_cpus_allowed(const struct task_struct *tsk) 
const cpumask_t cpuset_cpus_allowed(const struct task_struct *tsk){	cpumask_t mask;	down(&cpuset_sem);	task_lock((struct task_struct *)tsk);	guarantee_online_cpus(tsk->cpuset, &mask);	task_unlock((struct task_struct *)tsk);	up(&cpuset_sem);	return mask;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9a8488965dc4c42a4a1f84cab907c7d6c5cf1563/cpuset.c/buggy/kernel/cpuset.c