platform_finish(); enable_nonboot_cpus(); return error; }  return 0; 
return error; 
static int prepare_devices(void){	int error;	disable_nonboot_cpus();	if ((error = device_suspend(PMSG_FREEZE))) {		printk("Some devices failed to suspend\n");		platform_finish();		enable_nonboot_cpus();		return error;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a72e04df5470df0ec646029d31e5528167ab1a7/disk.c/buggy/kernel/power/disk.c