device_shutdown(); machine_restart(NULL); 
kernel_restart(NULL); 
static void power_down(suspend_disk_method_t mode){	unsigned long flags;	int error = 0;	local_irq_save(flags);	switch(mode) {	case PM_DISK_PLATFORM: 		device_shutdown();		error = pm_ops->enter(PM_SUSPEND_DISK);		break;	case PM_DISK_SHUTDOWN:		printk("Powering off system\n");		device_shutdown();		machine_power_off();		break;	case PM_DISK_REBOOT:		device_shutdown();		machine_restart(NULL);		break;	}	machine_halt();	/* Valid image is on the disk, if we continue we risk serious data corruption	   after resume. */	printk(KERN_CRIT "Please power me down manually\n");	while(1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fdde86ac50357b6a811e3574e47d189e81a21444/disk.c/buggy/kernel/power/disk.c