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