COPY_TO_USER(err,user_icount, &info->icount, sizeof(struct mgsl_icount)); if (err) { if ( debug_level >= DEBUG_LEVEL_INFO ) printk( "%s(%d):mgsl_get_stats(%s) user buffer copy failed\n", __FILE__,__LINE__,info->device_name); return -EFAULT; 
if (!user_icount) { memset(&info->icount, 0, sizeof(info->icount)); } else { COPY_TO_USER(err, user_icount, &info->icount, sizeof(struct mgsl_icount)); if (err) return -EFAULT; 
static int mgsl_get_stats(struct mgsl_struct * info, struct mgsl_icount __user *user_icount){	int err;		if (debug_level >= DEBUG_LEVEL_INFO)		printk("%s(%d):mgsl_get_params(%s)\n",			 __FILE__,__LINE__, info->device_name);				COPY_TO_USER(err,user_icount, &info->icount, sizeof(struct mgsl_icount));	if (err) {		if ( debug_level >= DEBUG_LEVEL_INFO )			printk( "%s(%d):mgsl_get_stats(%s) user buffer copy failed\n",				__FILE__,__LINE__,info->device_name);		return -EFAULT;	}		return 0;	}	/* end of mgsl_get_stats() */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9661239f7f698ba3a79db5e8ab5bb2f4090663d9/synclink.c/buggy/drivers/char/synclink.c