int swsusp_write(void){	int error;	lock_swapdevices();	error = write_suspend_image();	/* This will unlock ignored swap devices since writing is finished */	lock_swapdevices();	return error;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0fbeb5a45dccd493c35a68a5548e6a9d9882a791/swsusp.c/buggy/kernel/power/swsusp.c