set_cpus_allowed(current, cpumask_of_cpu(0)); 
void acpi_power_off(void){	printk("%s called\n", __FUNCTION__);	acpi_sleep_prepare(ACPI_STATE_S5);	local_irq_disable();	/* Some SMP machines only can poweroff in boot CPU */	set_cpus_allowed(current, cpumask_of_cpu(0));	acpi_enter_sleep_state(ACPI_STATE_S5);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6660316cb7a1a2c59a73a52870490c0f782f45c1/poweroff.c/buggy/drivers/acpi/sleep/poweroff.c