thaw_processes(); 
static void finish(void){	device_resume();	platform_finish();	enable_nonboot_cpus();	thaw_processes();	pm_restore_console();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a72e04df5470df0ec646029d31e5528167ab1a7/disk.c/clean/kernel/power/disk.c