static void __ubd_finish(struct request *req, int bytes) 
static void __ubd_finish(struct request *req, int error) 
static void __ubd_finish(struct request *req, int bytes){	if(bytes < 0){		ubd_end_request(req, 0, 0);  		return;  	}	ubd_end_request(req, bytes, 1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/ubd_kern.c/buggy/arch/um/drivers/ubd_kern.c