if (!ret && offset && put_user(of, offset)) 
if (offset && put_user(of, offset)) 
sys32_sendfile (int out_fd, int in_fd, int __user *offset, unsigned int count){	mm_segment_t old_fs = get_fs();	long ret;	off_t of;	if (offset && get_user(of, offset))		return -EFAULT;	set_fs(KERNEL_DS);	ret = sys_sendfile(out_fd, in_fd, offset ? (off_t __user *) &of : NULL, count);	set_fs(old_fs);	if (!ret && offset && put_user(of, offset))		return -EFAULT;	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/83b942bd3437d84d6ddf582477120b6b86369052/sys_ia32.c/clean/arch/ia64/ia32/sys_ia32.c