/* Call into cpu_idle with preempt disabled */ 
static void noinline rest_init(void)	__releases(kernel_lock){	kernel_thread(init, NULL, CLONE_FS | CLONE_SIGHAND);	numa_default_policy();	unlock_kernel();	preempt_enable_no_resched();	/*	 * The boot idle thread must execute schedule()	 * at least one to get things moving:	 */	schedule();	cpu_idle();} 
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/main.c/buggy/init/main.c