#ifdef CONFIG_SMP smp_send_stop(); #endif printk(KERN_EMERG "System Halted, OK to turn off power\n"); local_irq_disable(); while (1) ; 
void machine_restart(char *cmd){	if (ppc_md.nvram_sync)		ppc_md.nvram_sync();	ppc_md.restart(cmd);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d7152fe14cad075d6dd4ee4194acd131aed0244e/setup.c/clean/arch/ppc64/kernel/setup.c