int i915_batchbuffer(DRM_IOCTL_ARGS) 
static int i915_batchbuffer(DRM_IOCTL_ARGS) 
int i915_batchbuffer(DRM_IOCTL_ARGS){	DRM_DEVICE;	drm_i915_private_t *dev_priv = (drm_i915_private_t *) dev->dev_private;	u32 *hw_status = dev_priv->hw_status_page;	drm_i915_sarea_t *sarea_priv = (drm_i915_sarea_t *)	    dev_priv->sarea_priv;	drm_i915_batchbuffer_t batch;	int ret;	if (!dev_priv->allow_batchbuffer) {		DRM_ERROR("Batchbuffer ioctl disabled\n");		return DRM_ERR(EINVAL);	}	DRM_COPY_FROM_USER_IOCTL(batch, (drm_i915_batchbuffer_t __user *) data,				 sizeof(batch));	DRM_DEBUG("i915 batchbuffer, start %x used %d cliprects %d\n",		  batch.start, batch.used, batch.num_cliprects);	LOCK_TEST_WITH_RETURN(dev, filp);	if (batch.num_cliprects && DRM_VERIFYAREA_READ(batch.cliprects,						       batch.num_cliprects *						       sizeof(drm_clip_rect_t)))		return DRM_ERR(EFAULT);	ret = i915_dispatch_batchbuffer(dev, &batch);	sarea_priv->last_dispatch = (int)hw_status[5];	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/i915_dma.c/buggy/drivers/char/drm/i915_dma.c