if(ubd_do_mmap) physmem_forget_descriptor(dev->fd); 
static void ubd_close(struct ubd *dev){	if(ubd_do_mmap)		physmem_forget_descriptor(dev->fd);	os_close_file(dev->fd);	if(dev->cow.file == NULL)		return;	if(ubd_do_mmap)		physmem_forget_descriptor(dev->cow.fd);	os_close_file(dev->cow.fd);	vfree(dev->cow.bitmap);	dev->cow.bitmap = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7b9014c1da380384efe7752db38a0253a74d0238/ubd_kern.c/buggy/arch/um/drivers/ubd_kern.c