for(;;) __asm__("hlt"); 
for(;;) halt(); 
static void stop_this_cpu (void * dummy){	/*	 * Remove this CPU:	 */	cpu_clear(smp_processor_id(), cpu_online_map);	local_irq_disable();	disable_local_APIC();	if (cpu_data[smp_processor_id()].hlt_works_ok)		for(;;) __asm__("hlt");	for (;;);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4bb0d3ec3e5b1e9e2399cdc641b3b6521ac9cdaa/smp.c/buggy/arch/i386/kernel/smp.c