__asm__("hlt"); 
halt(); 
smp_stop_cpu_function(void *dummy){	VDEBUG(("VOYAGER SMP: CPU%d is STOPPING\n", smp_processor_id()));	cpu_clear(smp_processor_id(), cpu_online_map);	local_irq_disable();	for(;;)	       __asm__("hlt");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f2ab4461249df85b20930a7a57b54f39c5ae291a/voyager_smp.c/buggy/arch/i386/mach-voyager/voyager_smp.c