if (cpu_isset(cpu, map) && !per_cpu(cpu_idle_state, cpu)) 
if (cpu_isset(cpu, map) && !per_cpu(cpu_idle_state, cpu)) 
void cpu_idle_wait(void){	unsigned int cpu, this_cpu = get_cpu();	cpumask_t map;	set_cpus_allowed(current, cpumask_of_cpu(this_cpu));	put_cpu();	cpus_clear(map);	for_each_online_cpu(cpu) {		per_cpu(cpu_idle_state, cpu) = 1;		cpu_set(cpu, map);	}	__get_cpu_var(cpu_idle_state) = 0;	wmb();	do {		ssleep(1);		for_each_online_cpu(cpu) {			if (cpu_isset(cpu, map) && !per_cpu(cpu_idle_state, cpu))				cpu_clear(cpu, map);		}		cpus_and(map, map, cpu_online_map);	} while (!cpus_empty(map));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a88cde13bae3fffd6ecc812bdd02c91eafb6073e/process.c/buggy/arch/x86_64/kernel/process.c