int i915_getparam(DRM_IOCTL_ARGS) 
static int i915_getparam(DRM_IOCTL_ARGS) 
int i915_getparam(DRM_IOCTL_ARGS){	DRM_DEVICE;	drm_i915_private_t *dev_priv = dev->dev_private;	drm_i915_getparam_t param;	int value;	if (!dev_priv) {		DRM_ERROR("%s called with no initialization\n", __FUNCTION__);		return DRM_ERR(EINVAL);	}	DRM_COPY_FROM_USER_IOCTL(param, (drm_i915_getparam_t __user *) data,				 sizeof(param));	switch (param.param) {	case I915_PARAM_IRQ_ACTIVE:		value = dev->irq ? 1 : 0;		break;	case I915_PARAM_ALLOW_BATCHBUFFER:		value = dev_priv->allow_batchbuffer ? 1 : 0;		break;	default:		DRM_ERROR("Unkown parameter %d\n", param.param);		return DRM_ERR(EINVAL);	}	if (DRM_COPY_TO_USER(param.value, &value, sizeof(int))) {		DRM_ERROR("DRM_COPY_TO_USER failed\n");		return DRM_ERR(EFAULT);	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/i915_dma.c/buggy/drivers/char/drm/i915_dma.c