preempt_enable_no_resched(); 
static void restart_machine(void){	stopmachine_set_state(STOPMACHINE_EXIT);	local_irq_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4557398f8cbaf9f254cff747534b4724c7f75c4f/stop_machine.c/clean/kernel/stop_machine.c