printk("..."); set_cpus_allowed(current, oldmask); schedule(); printk("ok\n");  
cpus_clear(frozen_cpus); 
void enable_nonboot_cpus(void){	printk("Restarting CPUs");	atomic_set(&freeze, 0);	while (atomic_read(&cpu_counter)) {		cpu_relax();		barrier();	}	printk("...");	set_cpus_allowed(current, oldmask);	schedule();	printk("ok\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a72e04df5470df0ec646029d31e5528167ab1a7/smp.c/buggy/kernel/power/smp.c