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");}