if (put_user((void *)maplist->user_token, &argp->handle)) 
 /* avoid a warning on 64-bit, this casting isn't very nice, but the API is set so too late */ if (put_user((void *)(unsigned long)maplist->user_token, &argp->handle)) 
int drm_addmap_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;	drm_map_t map;	drm_map_list_t *maplist;	drm_map_t __user *argp = (void __user *)arg;	int err;	if (!(filp->f_mode & 3))		return -EACCES;	/* Require read/write */	if (copy_from_user(&map, argp, sizeof(map))) {		return -EFAULT;	}	err = drm_addmap_core(dev, map.offset, map.size, map.type, map.flags,			      &maplist);	if (err)		return err;	if (copy_to_user(argp, maplist->map, sizeof(drm_map_t)))		return -EFAULT;	if (put_user((void *)maplist->user_token, &argp->handle))		return -EFAULT;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/67e1a014fbc0e472ccc55766a63640a767ede3bf/drm_bufs.c/clean/drivers/char/drm/drm_bufs.c