 #ifdef CONFIG_HOTPLUG_CPU if (cpu_is_offline(smp_processor_id())) { leds_event(led_idle_start); cpu_die(); } #endif  
void cpu_idle(void){	local_fiq_enable();	/* endless idle loop with no priority at all */	while (1) {		void (*idle)(void) = pm_idle;		if (!idle)			idle = default_idle;		preempt_disable();		leds_event(led_idle_start);		while (!need_resched())			idle();		leds_event(led_idle_end);		preempt_enable();		schedule();	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a054a811597a17ffbe92bc4db04a4dc2f1b1ea55/process.c/buggy/arch/arm/kernel/process.c