if (strlen(link) < buflen) buflen = strlen(link); 
if (buflen > PATH_MAX) buflen = PATH_MAX; 
static int v9fs_vfs_readlink(struct dentry *dentry, char __user * buffer,			     int buflen){	int retval;	int ret;	char *link = __getname();	if (strlen(link) < buflen)		buflen = strlen(link);	dprintk(DEBUG_VFS, " dentry: %s (%p)\n", dentry->d_iname, dentry);	retval = v9fs_readlink(dentry, link, buflen);	if (retval > 0) {		if ((ret = copy_to_user(buffer, link, retval)) != 0) {			dprintk(DEBUG_ERROR, "problem copying to user: %d\n",				ret);			retval = ret;		}	}	putname(link);	return retval;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a1f9d8d23fef301ba0c0b4983e0aa947168e1c37/vfs_inode.c/buggy/fs/9p/vfs_inode.c