__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");}