device_suspend(PMSG_FREEZE); 
void kernel_kexec(void){#ifdef CONFIG_KEXEC	struct kimage *image;	image = xchg(&kexec_image, 0);	if (!image) {		return;	}	notifier_call_chain(&reboot_notifier_list, SYS_RESTART, NULL);	system_state = SYSTEM_RESTART;	device_suspend(PMSG_FREEZE);	device_shutdown();	printk(KERN_EMERG "Starting new kernel\n");	machine_shutdown();	machine_kexec(image);#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1108bae41e2ac596f46bc4cd8876b93063203d2b/sys.c/clean/kernel/sys.c