device_suspend(PMSG_FREEZE); 
void kernel_restart(char *cmd){	notifier_call_chain(&reboot_notifier_list, SYS_RESTART, cmd);	system_state = SYSTEM_RESTART;	device_suspend(PMSG_FREEZE);	device_shutdown();	if (!cmd) {		printk(KERN_EMERG "Restarting system.\n");	} else {		printk(KERN_EMERG "Restarting system with command '%s'.\n", cmd);	}	printk(".\n");	machine_restart(cmd);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e4ff4d7f9d85a2bc714307eb9113617182e62845/sys.c/clean/kernel/sys.c