int i810_flush_ioctl(struct inode *inode, struct file *filp, unsigned int cmd, unsigned long arg) 
static int i810_flush_ioctl(struct inode *inode, struct file *filp, unsigned int cmd, unsigned long arg) 
int i810_flush_ioctl(struct inode *inode, struct file *filp,		     unsigned int cmd, unsigned long arg){   	drm_file_t	  *priv	  = filp->private_data;   	drm_device_t	  *dev	  = priv->head->dev;	LOCK_TEST_WITH_RETURN(dev, filp);   	i810_flush_queue(dev);   	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/i810_dma.c/clean/drivers/char/drm/i810_dma.c