if (unlikely(count > file->f_maxcount)) 
if (unlikely(count > INT_MAX)) 
int rw_verify_area(int read_write, struct file *file, loff_t *ppos, size_t count){	struct inode *inode;	loff_t pos;	if (unlikely(count > file->f_maxcount))		goto Einval;	pos = *ppos;	if (unlikely((pos < 0) || (loff_t) (pos + count) < 0))		goto Einval;	inode = file->f_dentry->d_inode;	if (inode->i_flock && MANDATORY_LOCK(inode))		return locks_mandatory_area(read_write == READ ? FLOCK_VERIFY_READ : FLOCK_VERIFY_WRITE, inode, file, pos, count);	return 0;Einval:	return -EINVAL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2832e9366a1fcd6f76957a42157be041240f994e/read_write.c/clean/fs/read_write.c