namei.c 119.7 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
L
Linus Torvalds 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
/*
 *  linux/fs/namei.c
 *
 *  Copyright (C) 1991, 1992  Linus Torvalds
 */

/*
 * Some corrections by tytso.
 */

/* [Feb 1997 T. Schoebel-Theuer] Complete rewrite of the pathname
 * lookup logic.
 */
/* [Feb-Apr 2000, AV] Rewrite to the new namespace architecture.
 */

#include <linux/init.h>
19
#include <linux/export.h>
20
#include <linux/kernel.h>
L
Linus Torvalds 已提交
21 22 23 24
#include <linux/slab.h>
#include <linux/fs.h>
#include <linux/namei.h>
#include <linux/pagemap.h>
R
Robert Love 已提交
25
#include <linux/fsnotify.h>
L
Linus Torvalds 已提交
26 27
#include <linux/personality.h>
#include <linux/security.h>
M
Mimi Zohar 已提交
28
#include <linux/ima.h>
L
Linus Torvalds 已提交
29 30 31
#include <linux/syscalls.h>
#include <linux/mount.h>
#include <linux/audit.h>
32
#include <linux/capability.h>
33
#include <linux/file.h>
34
#include <linux/fcntl.h>
35
#include <linux/device_cgroup.h>
36
#include <linux/fs_struct.h>
37
#include <linux/posix_acl.h>
38
#include <linux/hash.h>
39
#include <linux/bitops.h>
40
#include <linux/init_task.h>
41
#include <linux/uaccess.h>
L
Linus Torvalds 已提交
42

43
#include "internal.h"
44
#include "mount.h"
45

L
Linus Torvalds 已提交
46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
/* [Feb-1997 T. Schoebel-Theuer]
 * Fundamental changes in the pathname lookup mechanisms (namei)
 * were necessary because of omirr.  The reason is that omirr needs
 * to know the _real_ pathname, not the user-supplied one, in case
 * of symlinks (and also when transname replacements occur).
 *
 * The new code replaces the old recursive symlink resolution with
 * an iterative one (in case of non-nested symlink chains).  It does
 * this with calls to <fs>_follow_link().
 * As a side effect, dir_namei(), _namei() and follow_link() are now 
 * replaced with a single function lookup_dentry() that can handle all 
 * the special cases of the former code.
 *
 * With the new dcache, the pathname is stored at each inode, at least as
 * long as the refcount of the inode is positive.  As a side effect, the
 * size of the dcache depends on the inode cache and thus is dynamic.
 *
 * [29-Apr-1998 C. Scott Ananian] Updated above description of symlink
 * resolution to correspond with current state of the code.
 *
 * Note that the symlink resolution is not *completely* iterative.
 * There is still a significant amount of tail- and mid- recursion in
 * the algorithm.  Also, note that <fs>_readlink() is not used in
 * lookup_dentry(): lookup_dentry() on the result of <fs>_readlink()
 * may return different results than <fs>_follow_link().  Many virtual
 * filesystems (including /proc) exhibit this behavior.
 */

/* [24-Feb-97 T. Schoebel-Theuer] Side effects caused by new implementation:
 * New symlink semantics: when open() is called with flags O_CREAT | O_EXCL
 * and the name already exists in form of a symlink, try to create the new
 * name indicated by the symlink. The old code always complained that the
 * name already exists, due to not following the symlink even if its target
 * is nonexistent.  The new semantics affects also mknod() and link() when
L
Lucas De Marchi 已提交
80
 * the name is a symlink pointing to a non-existent name.
L
Linus Torvalds 已提交
81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112
 *
 * I don't know which semantics is the right one, since I have no access
 * to standards. But I found by trial that HP-UX 9.0 has the full "new"
 * semantics implemented, while SunOS 4.1.1 and Solaris (SunOS 5.4) have the
 * "old" one. Personally, I think the new semantics is much more logical.
 * Note that "ln old new" where "new" is a symlink pointing to a non-existing
 * file does succeed in both HP-UX and SunOs, but not in Solaris
 * and in the old Linux semantics.
 */

/* [16-Dec-97 Kevin Buhr] For security reasons, we change some symlink
 * semantics.  See the comments in "open_namei" and "do_link" below.
 *
 * [10-Sep-98 Alan Modra] Another symlink change.
 */

/* [Feb-Apr 2000 AV] Complete rewrite. Rules for symlinks:
 *	inside the path - always follow.
 *	in the last component in creation/removal/renaming - never follow.
 *	if LOOKUP_FOLLOW passed - follow.
 *	if the pathname has trailing slashes - follow.
 *	otherwise - don't follow.
 * (applied in that order).
 *
 * [Jun 2000 AV] Inconsistent behaviour of open() in case if flags==O_CREAT
 * restored for 2.4. This is the last surviving part of old 4.2BSD bug.
 * During the 2.4 we need to fix the userland stuff depending on it -
 * hopefully we will be able to get rid of that wart in 2.5. So far only
 * XEmacs seems to be relying on it...
 */
/*
 * [Sep 2001 AV] Single-semaphore locking scheme (kudos to David Holland)
113
 * implemented.  Let's see if raised priority of ->s_vfs_rename_mutex gives
L
Linus Torvalds 已提交
114 115 116 117 118 119 120 121 122 123
 * any extra contention...
 */

/* In order to reduce some races, while at the same time doing additional
 * checking and hopefully speeding things up, we copy filenames to the
 * kernel data space before using them..
 *
 * POSIX.1 2.4: an empty pathname is invalid (ENOENT).
 * PATH_MAX includes the nul terminator --RR.
 */
124

A
Al Viro 已提交
125
#define EMBEDDED_NAME_MAX	(PATH_MAX - offsetof(struct filename, iname))
126

127
struct filename *
128 129
getname_flags(const char __user *filename, int flags, int *empty)
{
A
Al Viro 已提交
130
	struct filename *result;
131
	char *kname;
A
Al Viro 已提交
132
	int len;
133

134 135 136 137
	result = audit_reusename(filename);
	if (result)
		return result;

138
	result = __getname();
139
	if (unlikely(!result))
140 141
		return ERR_PTR(-ENOMEM);

142 143 144 145
	/*
	 * First, try to embed the struct filename inside the names_cache
	 * allocation
	 */
A
Al Viro 已提交
146
	kname = (char *)result->iname;
147
	result->name = kname;
148

A
Al Viro 已提交
149
	len = strncpy_from_user(kname, filename, EMBEDDED_NAME_MAX);
150
	if (unlikely(len < 0)) {
A
Al Viro 已提交
151 152
		__putname(result);
		return ERR_PTR(len);
153
	}
154

155 156 157 158 159 160
	/*
	 * Uh-oh. We have a name that's approaching PATH_MAX. Allocate a
	 * separate struct filename so we can dedicate the entire
	 * names_cache allocation for the pathname, and re-do the copy from
	 * userland.
	 */
A
Al Viro 已提交
161
	if (unlikely(len == EMBEDDED_NAME_MAX)) {
A
Al Viro 已提交
162
		const size_t size = offsetof(struct filename, iname[1]);
163 164
		kname = (char *)result;

A
Al Viro 已提交
165 166 167 168 169 170
		/*
		 * size is chosen that way we to guarantee that
		 * result->iname[0] is within the same object and that
		 * kname can't be equal to result->iname, no matter what.
		 */
		result = kzalloc(size, GFP_KERNEL);
A
Al Viro 已提交
171 172 173
		if (unlikely(!result)) {
			__putname(kname);
			return ERR_PTR(-ENOMEM);
174 175
		}
		result->name = kname;
A
Al Viro 已提交
176 177 178 179 180 181 182 183 184 185 186
		len = strncpy_from_user(kname, filename, PATH_MAX);
		if (unlikely(len < 0)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(len);
		}
		if (unlikely(len == PATH_MAX)) {
			__putname(kname);
			kfree(result);
			return ERR_PTR(-ENAMETOOLONG);
		}
187 188
	}

A
Al Viro 已提交
189
	result->refcnt = 1;
190 191 192
	/* The empty path is special. */
	if (unlikely(!len)) {
		if (empty)
193
			*empty = 1;
A
Al Viro 已提交
194 195 196 197
		if (!(flags & LOOKUP_EMPTY)) {
			putname(result);
			return ERR_PTR(-ENOENT);
		}
L
Linus Torvalds 已提交
198
	}
199

200
	result->uptr = filename;
201
	result->aname = NULL;
202 203
	audit_getname(result);
	return result;
L
Linus Torvalds 已提交
204 205
}

206 207
struct filename *
getname(const char __user * filename)
A
Al Viro 已提交
208
{
209
	return getname_flags(filename, 0, NULL);
A
Al Viro 已提交
210 211
}

212 213 214 215
struct filename *
getname_kernel(const char * filename)
{
	struct filename *result;
216
	int len = strlen(filename) + 1;
217 218 219 220 221

	result = __getname();
	if (unlikely(!result))
		return ERR_PTR(-ENOMEM);

222
	if (len <= EMBEDDED_NAME_MAX) {
A
Al Viro 已提交
223
		result->name = (char *)result->iname;
224
	} else if (len <= PATH_MAX) {
225
		const size_t size = offsetof(struct filename, iname[1]);
226 227
		struct filename *tmp;

228
		tmp = kmalloc(size, GFP_KERNEL);
229 230 231 232 233 234 235 236 237 238 239
		if (unlikely(!tmp)) {
			__putname(result);
			return ERR_PTR(-ENOMEM);
		}
		tmp->name = (char *)result;
		result = tmp;
	} else {
		__putname(result);
		return ERR_PTR(-ENAMETOOLONG);
	}
	memcpy((char *)result->name, filename, len);
240 241
	result->uptr = NULL;
	result->aname = NULL;
242
	result->refcnt = 1;
243
	audit_getname(result);
244 245 246 247

	return result;
}

248
void putname(struct filename *name)
L
Linus Torvalds 已提交
249
{
250 251 252 253 254
	BUG_ON(name->refcnt <= 0);

	if (--name->refcnt > 0)
		return;

A
Al Viro 已提交
255
	if (name->name != name->iname) {
256 257 258 259
		__putname(name->name);
		kfree(name);
	} else
		__putname(name);
L
Linus Torvalds 已提交
260 261
}

262 263
static int check_acl(struct inode *inode, int mask)
{
264
#ifdef CONFIG_FS_POSIX_ACL
265 266 267
	struct posix_acl *acl;

	if (mask & MAY_NOT_BLOCK) {
268 269
		acl = get_cached_acl_rcu(inode, ACL_TYPE_ACCESS);
	        if (!acl)
270
	                return -EAGAIN;
271
		/* no ->get_acl() calls in RCU mode... */
272
		if (is_uncached_acl(acl))
273
			return -ECHILD;
274
	        return posix_acl_permission(inode, acl, mask);
275 276
	}

C
Christoph Hellwig 已提交
277 278 279
	acl = get_acl(inode, ACL_TYPE_ACCESS);
	if (IS_ERR(acl))
		return PTR_ERR(acl);
280 281 282 283 284
	if (acl) {
	        int error = posix_acl_permission(inode, acl, mask);
	        posix_acl_release(acl);
	        return error;
	}
285
#endif
286 287 288 289

	return -EAGAIN;
}

290
/*
291 292 293 294
 * This does the basic UNIX permission checking.
 *
 * Note that the POSIX ACL check cares about the MAY_NOT_BLOCK bit,
 * for RCU walking.
L
Linus Torvalds 已提交
295
 */
296
static int acl_permission_check(struct inode *inode, int mask)
L
Linus Torvalds 已提交
297
{
298
	unsigned int mode = inode->i_mode;
L
Linus Torvalds 已提交
299

300 301 302
	/* Are we the owner? If so, ACL's don't matter */
	if (likely(uid_eq(current_fsuid(), inode->i_uid))) {
		mask &= 7;
L
Linus Torvalds 已提交
303
		mode >>= 6;
304 305
		return (mask & ~mode) ? -EACCES : 0;
	}
L
Linus Torvalds 已提交
306

307 308 309 310 311
	/* Do we have ACL's? */
	if (IS_POSIXACL(inode) && (mode & S_IRWXG)) {
		int error = check_acl(inode, mask);
		if (error != -EAGAIN)
			return error;
L
Linus Torvalds 已提交
312 313
	}

314 315 316
	/* Only RWX matters for group/other mode bits */
	mask &= 7;

L
Linus Torvalds 已提交
317
	/*
318 319 320
	 * Are the group permissions different from
	 * the other permissions in the bits we care
	 * about? Need to check group ownership if so.
L
Linus Torvalds 已提交
321
	 */
322 323 324 325 326 327 328
	if (mask & (mode ^ (mode >> 3))) {
		if (in_group_p(inode->i_gid))
			mode >>= 3;
	}

	/* Bits in 'mode' clear that we require? */
	return (mask & ~mode) ? -EACCES : 0;
329 330 331
}

/**
332
 * generic_permission -  check for access rights on a Posix-like filesystem
333
 * @inode:	inode to check access rights for
334 335
 * @mask:	right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC,
 *		%MAY_NOT_BLOCK ...)
336 337 338 339
 *
 * Used to check for read/write/execute permissions on a file.
 * We use "fsuid" for this, letting us set arbitrary permissions
 * for filesystem access without changing the "normal" uids which
340 341 342 343 344
 * are used for other things.
 *
 * generic_permission is rcu-walk aware. It returns -ECHILD in case an rcu-walk
 * request cannot be satisfied (eg. requires blocking or too much complexity).
 * It would then be called again in ref-walk mode.
345
 */
346
int generic_permission(struct inode *inode, int mask)
347 348 349 350
{
	int ret;

	/*
351
	 * Do the basic permission checks.
352
	 */
353
	ret = acl_permission_check(inode, mask);
354 355
	if (ret != -EACCES)
		return ret;
L
Linus Torvalds 已提交
356

357 358 359
	if (S_ISDIR(inode->i_mode)) {
		/* DACs are overridable for directories */
		if (!(mask & MAY_WRITE))
360 361
			if (capable_wrt_inode_uidgid(inode,
						     CAP_DAC_READ_SEARCH))
362
				return 0;
363
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
L
Linus Torvalds 已提交
364
			return 0;
365 366
		return -EACCES;
	}
L
Linus Torvalds 已提交
367 368 369 370

	/*
	 * Searching includes executable on directories, else just read.
	 */
371
	mask &= MAY_READ | MAY_WRITE | MAY_EXEC;
372
	if (mask == MAY_READ)
373
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_READ_SEARCH))
L
Linus Torvalds 已提交
374
			return 0;
375 376 377 378 379 380 381 382
	/*
	 * Read/write DACs are always overridable.
	 * Executable DACs are overridable when there is
	 * at least one exec bit set.
	 */
	if (!(mask & MAY_EXEC) || (inode->i_mode & S_IXUGO))
		if (capable_wrt_inode_uidgid(inode, CAP_DAC_OVERRIDE))
			return 0;
L
Linus Torvalds 已提交
383 384 385

	return -EACCES;
}
386
EXPORT_SYMBOL(generic_permission);
L
Linus Torvalds 已提交
387

388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407
/*
 * We _really_ want to just do "generic_permission()" without
 * even looking at the inode->i_op values. So we keep a cache
 * flag in inode->i_opflags, that says "this has not special
 * permission function, use the fast case".
 */
static inline int do_inode_permission(struct inode *inode, int mask)
{
	if (unlikely(!(inode->i_opflags & IOP_FASTPERM))) {
		if (likely(inode->i_op->permission))
			return inode->i_op->permission(inode, mask);

		/* This gets set once for the inode lifetime */
		spin_lock(&inode->i_lock);
		inode->i_opflags |= IOP_FASTPERM;
		spin_unlock(&inode->i_lock);
	}
	return generic_permission(inode, mask);
}

D
David Howells 已提交
408 409 410
/**
 * sb_permission - Check superblock-level permissions
 * @sb: Superblock of inode to check permission on
411
 * @inode: Inode to check permission on
D
David Howells 已提交
412 413 414 415 416 417 418 419 420 421
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Separate out file-system wide checks from inode-specific permission checks.
 */
static int sb_permission(struct super_block *sb, struct inode *inode, int mask)
{
	if (unlikely(mask & MAY_WRITE)) {
		umode_t mode = inode->i_mode;

		/* Nobody gets write access to a read-only fs. */
422
		if (sb_rdonly(sb) && (S_ISREG(mode) || S_ISDIR(mode) || S_ISLNK(mode)))
D
David Howells 已提交
423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445
			return -EROFS;
	}
	return 0;
}

/**
 * inode_permission - Check for access rights to a given inode
 * @inode: Inode to check permission on
 * @mask: Right to check for (%MAY_READ, %MAY_WRITE, %MAY_EXEC)
 *
 * Check for read/write/execute permissions on an inode.  We use fs[ug]id for
 * this, letting us set arbitrary permissions for filesystem access without
 * changing the "normal" UIDs which are used for other things.
 *
 * When checking for MAY_APPEND, MAY_WRITE must also be set in @mask.
 */
int inode_permission(struct inode *inode, int mask)
{
	int retval;

	retval = sb_permission(inode->i_sb, inode, mask);
	if (retval)
		return retval;
446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471

	if (unlikely(mask & MAY_WRITE)) {
		/*
		 * Nobody gets write access to an immutable file.
		 */
		if (IS_IMMUTABLE(inode))
			return -EPERM;

		/*
		 * Updating mtime will likely cause i_uid and i_gid to be
		 * written back improperly if their true value is unknown
		 * to the vfs.
		 */
		if (HAS_UNMAPPED_ID(inode))
			return -EACCES;
	}

	retval = do_inode_permission(inode, mask);
	if (retval)
		return retval;

	retval = devcgroup_inode_permission(inode, mask);
	if (retval)
		return retval;

	return security_inode_permission(inode, mask);
D
David Howells 已提交
472
}
473
EXPORT_SYMBOL(inode_permission);
D
David Howells 已提交
474

J
Jan Blunck 已提交
475 476 477 478 479 480
/**
 * path_get - get a reference to a path
 * @path: path to get the reference to
 *
 * Given a path increment the reference count to the dentry and the vfsmount.
 */
481
void path_get(const struct path *path)
J
Jan Blunck 已提交
482 483 484 485 486 487
{
	mntget(path->mnt);
	dget(path->dentry);
}
EXPORT_SYMBOL(path_get);

J
Jan Blunck 已提交
488 489 490 491 492 493
/**
 * path_put - put a reference to a path
 * @path: path to put the reference to
 *
 * Given a path decrement the reference count to the dentry and the vfsmount.
 */
494
void path_put(const struct path *path)
L
Linus Torvalds 已提交
495
{
J
Jan Blunck 已提交
496 497
	dput(path->dentry);
	mntput(path->mnt);
L
Linus Torvalds 已提交
498
}
J
Jan Blunck 已提交
499
EXPORT_SYMBOL(path_put);
L
Linus Torvalds 已提交
500

501
#define EMBEDDED_LEVELS 2
502 503
struct nameidata {
	struct path	path;
A
Al Viro 已提交
504
	struct qstr	last;
505 506 507
	struct path	root;
	struct inode	*inode; /* path.dentry.d_inode */
	unsigned int	flags;
508
	unsigned	seq, m_seq, r_seq;
509 510
	int		last_type;
	unsigned	depth;
511
	int		total_link_count;
512 513
	struct saved {
		struct path link;
514
		struct delayed_call done;
515
		const char *name;
516
		unsigned seq;
517
	} *stack, internal[EMBEDDED_LEVELS];
518 519 520 521
	struct filename	*name;
	struct nameidata *saved;
	unsigned	root_seq;
	int		dfd;
522 523
	kuid_t		dir_uid;
	umode_t		dir_mode;
524
} __randomize_layout;
525

526
static void set_nameidata(struct nameidata *p, int dfd, struct filename *name)
527
{
528 529
	struct nameidata *old = current->nameidata;
	p->stack = p->internal;
530 531
	p->dfd = dfd;
	p->name = name;
532
	p->total_link_count = old ? old->total_link_count : 0;
533
	p->saved = old;
534
	current->nameidata = p;
535 536
}

537
static void restore_nameidata(void)
538
{
539
	struct nameidata *now = current->nameidata, *old = now->saved;
540 541 542 543

	current->nameidata = old;
	if (old)
		old->total_link_count = now->total_link_count;
544
	if (now->stack != now->internal)
545
		kfree(now->stack);
546 547
}

548
static bool nd_alloc_stack(struct nameidata *nd)
549
{
A
Al Viro 已提交
550 551
	struct saved *p;

552 553 554 555
	p= kmalloc_array(MAXSYMLINKS, sizeof(struct saved),
			 nd->flags & LOOKUP_RCU ? GFP_ATOMIC : GFP_KERNEL);
	if (unlikely(!p))
		return false;
556 557
	memcpy(p, nd->internal, sizeof(nd->internal));
	nd->stack = p;
558
	return true;
559 560
}

561
/**
562
 * path_connected - Verify that a dentry is below mnt.mnt_root
563 564 565 566
 *
 * Rename can sometimes move a file or directory outside of a bind
 * mount, path_connected allows those cases to be detected.
 */
567
static bool path_connected(struct vfsmount *mnt, struct dentry *dentry)
568
{
569
	struct super_block *sb = mnt->mnt_sb;
570

571 572
	/* Bind mounts and multi-root filesystems can have disconnected paths */
	if (!(sb->s_iflags & SB_I_MULTIROOT) && (mnt->mnt_root == sb->s_root))
573 574
		return true;

575
	return is_subdir(dentry, mnt->mnt_root);
576 577
}

578 579 580 581 582
static void drop_links(struct nameidata *nd)
{
	int i = nd->depth;
	while (i--) {
		struct saved *last = nd->stack + i;
583 584
		do_delayed_call(&last->done);
		clear_delayed_call(&last->done);
585 586 587 588 589 590 591 592 593 594 595
	}
}

static void terminate_walk(struct nameidata *nd)
{
	drop_links(nd);
	if (!(nd->flags & LOOKUP_RCU)) {
		int i;
		path_put(&nd->path);
		for (i = 0; i < nd->depth; i++)
			path_put(&nd->stack[i].link);
596
		if (nd->flags & LOOKUP_ROOT_GRABBED) {
597
			path_put(&nd->root);
598
			nd->flags &= ~LOOKUP_ROOT_GRABBED;
599
		}
600 601 602 603 604 605 606 607
	} else {
		nd->flags &= ~LOOKUP_RCU;
		rcu_read_unlock();
	}
	nd->depth = 0;
}

/* path_put is needed afterwards regardless of success or failure */
608
static bool __legitimize_path(struct path *path, unsigned seq, unsigned mseq)
609
{
610
	int res = __legitimize_mnt(path->mnt, mseq);
611 612 613 614 615 616 617 618 619 620 621 622 623
	if (unlikely(res)) {
		if (res > 0)
			path->mnt = NULL;
		path->dentry = NULL;
		return false;
	}
	if (unlikely(!lockref_get_not_dead(&path->dentry->d_lockref))) {
		path->dentry = NULL;
		return false;
	}
	return !read_seqcount_retry(&path->dentry->d_seq, seq);
}

624 625 626
static inline bool legitimize_path(struct nameidata *nd,
			    struct path *path, unsigned seq)
{
A
Al Viro 已提交
627
	return __legitimize_path(path, seq, nd->m_seq);
628 629
}

630 631 632 633 634 635 636 637 638 639 640 641 642 643
static bool legitimize_links(struct nameidata *nd)
{
	int i;
	for (i = 0; i < nd->depth; i++) {
		struct saved *last = nd->stack + i;
		if (unlikely(!legitimize_path(nd, &last->link, last->seq))) {
			drop_links(nd);
			nd->depth = i + 1;
			return false;
		}
	}
	return true;
}

644 645
static bool legitimize_root(struct nameidata *nd)
{
646 647 648 649 650 651 652 653
	/*
	 * For scoped-lookups (where nd->root has been zeroed), we need to
	 * restart the whole lookup from scratch -- because set_root() is wrong
	 * for these lookups (nd->dfd is the root, not the filesystem root).
	 */
	if (!nd->root.mnt && (nd->flags & LOOKUP_IS_SCOPED))
		return false;
	/* Nothing to do if nd->root is zero or is managed by the VFS user. */
654 655
	if (!nd->root.mnt || (nd->flags & LOOKUP_ROOT))
		return true;
656
	nd->flags |= LOOKUP_ROOT_GRABBED;
657 658 659
	return legitimize_path(nd, &nd->root, nd->root_seq);
}

A
Al Viro 已提交
660
/*
N
Nick Piggin 已提交
661
 * Path walking has 2 modes, rcu-walk and ref-walk (see
A
Al Viro 已提交
662 663
 * Documentation/filesystems/path-lookup.txt).  In situations when we can't
 * continue in RCU mode, we attempt to drop out of rcu-walk mode and grab
M
Mike Marshall 已提交
664
 * normal reference counts on dentries and vfsmounts to transition to ref-walk
A
Al Viro 已提交
665 666 667 668
 * mode.  Refcounts are grabbed at the last known good point before rcu-walk
 * got stuck, so ref-walk may continue from there. If this is not successful
 * (eg. a seqcount has changed), then failure is returned and it's up to caller
 * to restart the path walk from the beginning in ref-walk mode.
N
Nick Piggin 已提交
669 670 671
 */

/**
A
Al Viro 已提交
672 673
 * unlazy_walk - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
674
 * Returns: 0 on success, -ECHILD on failure
N
Nick Piggin 已提交
675
 *
A
Al Viro 已提交
676 677 678
 * unlazy_walk attempts to legitimize the current nd->path and nd->root
 * for ref-walk mode.
 * Must be called from rcu-walk context.
679 680
 * Nothing should touch nameidata between unlazy_walk() failure and
 * terminate_walk().
N
Nick Piggin 已提交
681
 */
A
Al Viro 已提交
682
static int unlazy_walk(struct nameidata *nd)
N
Nick Piggin 已提交
683 684 685 686
{
	struct dentry *parent = nd->path.dentry;

	BUG_ON(!(nd->flags & LOOKUP_RCU));
687

A
Al Viro 已提交
688 689 690
	nd->flags &= ~LOOKUP_RCU;
	if (unlikely(!legitimize_links(nd)))
		goto out1;
691 692
	if (unlikely(!legitimize_path(nd, &nd->path, nd->seq)))
		goto out;
693 694
	if (unlikely(!legitimize_root(nd)))
		goto out;
A
Al Viro 已提交
695 696 697 698
	rcu_read_unlock();
	BUG_ON(nd->inode != parent->d_inode);
	return 0;

699
out1:
A
Al Viro 已提交
700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723
	nd->path.mnt = NULL;
	nd->path.dentry = NULL;
out:
	rcu_read_unlock();
	return -ECHILD;
}

/**
 * unlazy_child - try to switch to ref-walk mode.
 * @nd: nameidata pathwalk data
 * @dentry: child of nd->path.dentry
 * @seq: seq number to check dentry against
 * Returns: 0 on success, -ECHILD on failure
 *
 * unlazy_child attempts to legitimize the current nd->path, nd->root and dentry
 * for ref-walk mode.  @dentry must be a path found by a do_lookup call on
 * @nd.  Must be called from rcu-walk context.
 * Nothing should touch nameidata between unlazy_child() failure and
 * terminate_walk().
 */
static int unlazy_child(struct nameidata *nd, struct dentry *dentry, unsigned seq)
{
	BUG_ON(!(nd->flags & LOOKUP_RCU));

724
	nd->flags &= ~LOOKUP_RCU;
725 726 727 728
	if (unlikely(!legitimize_links(nd)))
		goto out2;
	if (unlikely(!legitimize_mnt(nd->path.mnt, nd->m_seq)))
		goto out2;
A
Al Viro 已提交
729
	if (unlikely(!lockref_get_not_dead(&nd->path.dentry->d_lockref)))
730
		goto out1;
A
Al Viro 已提交
731

732
	/*
A
Al Viro 已提交
733 734 735 736 737
	 * We need to move both the parent and the dentry from the RCU domain
	 * to be properly refcounted. And the sequence number in the dentry
	 * validates *both* dentry counters, since we checked the sequence
	 * number of the parent after we got the child sequence number. So we
	 * know the parent must still be valid if the child sequence number is
738
	 */
A
Al Viro 已提交
739 740
	if (unlikely(!lockref_get_not_dead(&dentry->d_lockref)))
		goto out;
741 742
	if (unlikely(read_seqcount_retry(&dentry->d_seq, seq)))
		goto out_dput;
743 744 745 746
	/*
	 * Sequence counts matched. Now make sure that the root is
	 * still valid and get it if required.
	 */
747 748
	if (unlikely(!legitimize_root(nd)))
		goto out_dput;
A
Al Viro 已提交
749
	rcu_read_unlock();
N
Nick Piggin 已提交
750
	return 0;
A
Al Viro 已提交
751

752 753 754 755
out2:
	nd->path.mnt = NULL;
out1:
	nd->path.dentry = NULL;
756
out:
A
Al Viro 已提交
757
	rcu_read_unlock();
758 759 760 761
	return -ECHILD;
out_dput:
	rcu_read_unlock();
	dput(dentry);
N
Nick Piggin 已提交
762 763 764
	return -ECHILD;
}

765
static inline int d_revalidate(struct dentry *dentry, unsigned int flags)
766
{
767 768 769 770
	if (unlikely(dentry->d_flags & DCACHE_OP_REVALIDATE))
		return dentry->d_op->d_revalidate(dentry, flags);
	else
		return 1;
771 772
}

773 774 775
/**
 * complete_walk - successful completion of path walk
 * @nd:  pointer nameidata
776
 *
777 778 779 780 781
 * If we had been in RCU mode, drop out of it and legitimize nd->path.
 * Revalidate the final result, unless we'd already done that during
 * the path walk or the filesystem doesn't ask for it.  Return 0 on
 * success, -error on failure.  In case of failure caller does not
 * need to drop nd->path.
782
 */
783
static int complete_walk(struct nameidata *nd)
784
{
A
Al Viro 已提交
785
	struct dentry *dentry = nd->path.dentry;
786 787
	int status;

788
	if (nd->flags & LOOKUP_RCU) {
789 790 791 792 793
		/*
		 * We don't want to zero nd->root for scoped-lookups or
		 * externally-managed nd->root.
		 */
		if (!(nd->flags & (LOOKUP_ROOT | LOOKUP_IS_SCOPED)))
794
			nd->root.mnt = NULL;
A
Al Viro 已提交
795
		if (unlikely(unlazy_walk(nd)))
796 797 798
			return -ECHILD;
	}

799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819
	if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
		/*
		 * While the guarantee of LOOKUP_IS_SCOPED is (roughly) "don't
		 * ever step outside the root during lookup" and should already
		 * be guaranteed by the rest of namei, we want to avoid a namei
		 * BUG resulting in userspace being given a path that was not
		 * scoped within the root at some point during the lookup.
		 *
		 * So, do a final sanity-check to make sure that in the
		 * worst-case scenario (a complete bypass of LOOKUP_IS_SCOPED)
		 * we won't silently return an fd completely outside of the
		 * requested root to userspace.
		 *
		 * Userspace could move the path outside the root after this
		 * check, but as discussed elsewhere this is not a concern (the
		 * resolved file was inside the root at some point).
		 */
		if (!path_is_under(&nd->path, &nd->root))
			return -EXDEV;
	}

A
Al Viro 已提交
820 821 822
	if (likely(!(nd->flags & LOOKUP_JUMPED)))
		return 0;

823
	if (likely(!(dentry->d_flags & DCACHE_OP_WEAK_REVALIDATE)))
824 825
		return 0;

826
	status = dentry->d_op->d_weak_revalidate(dentry, nd->flags);
827 828 829
	if (status > 0)
		return 0;

A
Al Viro 已提交
830
	if (!status)
831
		status = -ESTALE;
A
Al Viro 已提交
832

833 834 835
	return status;
}

836
static int set_root(struct nameidata *nd)
N
Nick Piggin 已提交
837
{
838
	struct fs_struct *fs = current->fs;
N
Nick Piggin 已提交
839

840 841 842 843 844 845 846 847
	/*
	 * Jumping to the real root in a scoped-lookup is a BUG in namei, but we
	 * still have to ensure it doesn't happen because it will cause a breakout
	 * from the dirfd.
	 */
	if (WARN_ON(nd->flags & LOOKUP_IS_SCOPED))
		return -ENOTRECOVERABLE;

848 849 850 851 852 853 854 855 856 857
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;

		do {
			seq = read_seqcount_begin(&fs->seq);
			nd->root = fs->root;
			nd->root_seq = __read_seqcount_begin(&nd->root.dentry->d_seq);
		} while (read_seqcount_retry(&fs->seq, seq));
	} else {
		get_fs_root(fs, &nd->root);
858
		nd->flags |= LOOKUP_ROOT_GRABBED;
859
	}
860
	return 0;
N
Nick Piggin 已提交
861 862
}

863 864
static int nd_jump_root(struct nameidata *nd)
{
865 866
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return -EXDEV;
867 868 869 870 871
	if (unlikely(nd->flags & LOOKUP_NO_XDEV)) {
		/* Absolute path arguments to path_init() are allowed. */
		if (nd->path.mnt != NULL && nd->path.mnt != nd->root.mnt)
			return -EXDEV;
	}
872 873 874 875 876
	if (!nd->root.mnt) {
		int error = set_root(nd);
		if (error)
			return error;
	}
877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894
	if (nd->flags & LOOKUP_RCU) {
		struct dentry *d;
		nd->path = nd->root;
		d = nd->path.dentry;
		nd->inode = d->d_inode;
		nd->seq = nd->root_seq;
		if (unlikely(read_seqcount_retry(&d->d_seq, nd->seq)))
			return -ECHILD;
	} else {
		path_put(&nd->path);
		nd->path = nd->root;
		path_get(&nd->path);
		nd->inode = nd->path.dentry->d_inode;
	}
	nd->flags |= LOOKUP_JUMPED;
	return 0;
}

C
Christoph Hellwig 已提交
895
/*
896
 * Helper to directly jump to a known parsed path from ->get_link,
C
Christoph Hellwig 已提交
897 898
 * caller must have taken a reference to path beforehand.
 */
899
int nd_jump_link(struct path *path)
C
Christoph Hellwig 已提交
900
{
901
	int error = -ELOOP;
902
	struct nameidata *nd = current->nameidata;
C
Christoph Hellwig 已提交
903

904 905 906
	if (unlikely(nd->flags & LOOKUP_NO_MAGICLINKS))
		goto err;

907 908 909 910 911
	error = -EXDEV;
	if (unlikely(nd->flags & LOOKUP_NO_XDEV)) {
		if (nd->path.mnt != path->mnt)
			goto err;
	}
912 913 914
	/* Not currently safe for scoped-lookups. */
	if (unlikely(nd->flags & LOOKUP_IS_SCOPED))
		goto err;
915

916
	path_put(&nd->path);
C
Christoph Hellwig 已提交
917 918 919
	nd->path = *path;
	nd->inode = nd->path.dentry->d_inode;
	nd->flags |= LOOKUP_JUMPED;
920
	return 0;
921 922 923 924

err:
	path_put(path);
	return error;
C
Christoph Hellwig 已提交
925 926
}

927
static inline void put_link(struct nameidata *nd)
928
{
A
Al Viro 已提交
929
	struct saved *last = nd->stack + --nd->depth;
930
	do_delayed_call(&last->done);
A
Al Viro 已提交
931 932
	if (!(nd->flags & LOOKUP_RCU))
		path_put(&last->link);
933 934
}

935 936
int sysctl_protected_symlinks __read_mostly = 0;
int sysctl_protected_hardlinks __read_mostly = 0;
937 938
int sysctl_protected_fifos __read_mostly;
int sysctl_protected_regular __read_mostly;
K
Kees Cook 已提交
939 940 941

/**
 * may_follow_link - Check symlink following for unsafe situations
942
 * @nd: nameidata pathwalk data
K
Kees Cook 已提交
943 944 945 946 947 948 949 950 951 952 953 954
 *
 * In the case of the sysctl_protected_symlinks sysctl being enabled,
 * CAP_DAC_OVERRIDE needs to be specifically ignored if the symlink is
 * in a sticky world-writable directory. This is to protect privileged
 * processes from failing races against path names that may change out
 * from under them by way of other users creating malicious symlinks.
 * It will permit symlinks to be followed only when outside a sticky
 * world-writable directory, or when the uid of the symlink and follower
 * match, or when the directory owner matches the symlink's owner.
 *
 * Returns 0 if following the symlink is allowed, -ve on error.
 */
955
static inline int may_follow_link(struct nameidata *nd, const struct inode *inode)
K
Kees Cook 已提交
956 957 958 959 960
{
	if (!sysctl_protected_symlinks)
		return 0;

	/* Allowed if owner and follower match. */
961
	if (uid_eq(current_cred()->fsuid, inode->i_uid))
K
Kees Cook 已提交
962 963 964
		return 0;

	/* Allowed if parent directory not sticky and world-writable. */
965
	if ((nd->dir_mode & (S_ISVTX|S_IWOTH)) != (S_ISVTX|S_IWOTH))
K
Kees Cook 已提交
966 967 968
		return 0;

	/* Allowed if parent directory and link owner match. */
969
	if (uid_valid(nd->dir_uid) && uid_eq(nd->dir_uid, inode->i_uid))
K
Kees Cook 已提交
970 971
		return 0;

972 973 974
	if (nd->flags & LOOKUP_RCU)
		return -ECHILD;

975
	audit_inode(nd->name, nd->stack[0].link.dentry, 0);
K
Kees Cook 已提交
976
	audit_log_path_denied(AUDIT_ANOM_LINK, "follow_link");
K
Kees Cook 已提交
977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022
	return -EACCES;
}

/**
 * safe_hardlink_source - Check for safe hardlink conditions
 * @inode: the source inode to hardlink from
 *
 * Return false if at least one of the following conditions:
 *    - inode is not a regular file
 *    - inode is setuid
 *    - inode is setgid and group-exec
 *    - access failure for read and write
 *
 * Otherwise returns true.
 */
static bool safe_hardlink_source(struct inode *inode)
{
	umode_t mode = inode->i_mode;

	/* Special files should not get pinned to the filesystem. */
	if (!S_ISREG(mode))
		return false;

	/* Setuid files should not get pinned to the filesystem. */
	if (mode & S_ISUID)
		return false;

	/* Executable setgid files should not get pinned to the filesystem. */
	if ((mode & (S_ISGID | S_IXGRP)) == (S_ISGID | S_IXGRP))
		return false;

	/* Hardlinking to unreadable or unwritable sources is dangerous. */
	if (inode_permission(inode, MAY_READ | MAY_WRITE))
		return false;

	return true;
}

/**
 * may_linkat - Check permissions for creating a hardlink
 * @link: the source to hardlink from
 *
 * Block hardlink when all of:
 *  - sysctl_protected_hardlinks enabled
 *  - fsuid does not match inode
 *  - hardlink source is unsafe (see safe_hardlink_source() above)
1023
 *  - not CAP_FOWNER in a namespace with the inode owner uid mapped
K
Kees Cook 已提交
1024 1025 1026
 *
 * Returns 0 if successful, -ve on error.
 */
1027
int may_linkat(struct path *link)
K
Kees Cook 已提交
1028
{
1029 1030 1031 1032 1033
	struct inode *inode = link->dentry->d_inode;

	/* Inode writeback is not safe when the uid or gid are invalid. */
	if (!uid_valid(inode->i_uid) || !gid_valid(inode->i_gid))
		return -EOVERFLOW;
K
Kees Cook 已提交
1034 1035 1036 1037 1038 1039 1040

	if (!sysctl_protected_hardlinks)
		return 0;

	/* Source inode owner (or CAP_FOWNER) can hardlink all they like,
	 * otherwise, it must be a safe source.
	 */
1041
	if (safe_hardlink_source(inode) || inode_owner_or_capable(inode))
K
Kees Cook 已提交
1042 1043
		return 0;

K
Kees Cook 已提交
1044
	audit_log_path_denied(AUDIT_ANOM_LINK, "linkat");
K
Kees Cook 已提交
1045 1046 1047
	return -EPERM;
}

1048 1049 1050 1051
/**
 * may_create_in_sticky - Check whether an O_CREAT open in a sticky directory
 *			  should be allowed, or not, on files that already
 *			  exist.
1052 1053
 * @dir_mode: mode bits of directory
 * @dir_uid: owner of directory
1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068
 * @inode: the inode of the file to open
 *
 * Block an O_CREAT open of a FIFO (or a regular file) when:
 *   - sysctl_protected_fifos (or sysctl_protected_regular) is enabled
 *   - the file already exists
 *   - we are in a sticky directory
 *   - we don't own the file
 *   - the owner of the directory doesn't own the file
 *   - the directory is world writable
 * If the sysctl_protected_fifos (or sysctl_protected_regular) is set to 2
 * the directory doesn't have to be world writable: being group writable will
 * be enough.
 *
 * Returns 0 if the open is allowed, -ve on error.
 */
1069
static int may_create_in_sticky(umode_t dir_mode, kuid_t dir_uid,
1070 1071 1072 1073
				struct inode * const inode)
{
	if ((!sysctl_protected_fifos && S_ISFIFO(inode->i_mode)) ||
	    (!sysctl_protected_regular && S_ISREG(inode->i_mode)) ||
1074 1075
	    likely(!(dir_mode & S_ISVTX)) ||
	    uid_eq(inode->i_uid, dir_uid) ||
1076 1077 1078
	    uid_eq(current_fsuid(), inode->i_uid))
		return 0;

1079 1080
	if (likely(dir_mode & 0002) ||
	    (dir_mode & 0020 &&
1081 1082
	     ((sysctl_protected_fifos >= 2 && S_ISFIFO(inode->i_mode)) ||
	      (sysctl_protected_regular >= 2 && S_ISREG(inode->i_mode))))) {
K
Kees Cook 已提交
1083 1084 1085 1086
		const char *operation = S_ISFIFO(inode->i_mode) ?
					"sticky_create_fifo" :
					"sticky_create_regular";
		audit_log_path_denied(AUDIT_ANOM_CREAT, operation);
1087 1088 1089 1090 1091
		return -EACCES;
	}
	return 0;
}

1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
/*
 * follow_up - Find the mountpoint of path's vfsmount
 *
 * Given a path, find the mountpoint of its source file system.
 * Replace @path with the path of the mountpoint in the parent mount.
 * Up is towards /.
 *
 * Return 1 if we went up a level and 0 if we were already at the
 * root.
 */
A
Al Viro 已提交
1102
int follow_up(struct path *path)
L
Linus Torvalds 已提交
1103
{
1104 1105
	struct mount *mnt = real_mount(path->mnt);
	struct mount *parent;
L
Linus Torvalds 已提交
1106
	struct dentry *mountpoint;
N
Nick Piggin 已提交
1107

A
Al Viro 已提交
1108
	read_seqlock_excl(&mount_lock);
1109
	parent = mnt->mnt_parent;
A
Al Viro 已提交
1110
	if (parent == mnt) {
A
Al Viro 已提交
1111
		read_sequnlock_excl(&mount_lock);
L
Linus Torvalds 已提交
1112 1113
		return 0;
	}
1114
	mntget(&parent->mnt);
1115
	mountpoint = dget(mnt->mnt_mountpoint);
A
Al Viro 已提交
1116
	read_sequnlock_excl(&mount_lock);
A
Al Viro 已提交
1117 1118 1119
	dput(path->dentry);
	path->dentry = mountpoint;
	mntput(path->mnt);
1120
	path->mnt = &parent->mnt;
L
Linus Torvalds 已提交
1121 1122
	return 1;
}
1123
EXPORT_SYMBOL(follow_up);
L
Linus Torvalds 已提交
1124

A
Al Viro 已提交
1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144
static bool choose_mountpoint_rcu(struct mount *m, const struct path *root,
				  struct path *path, unsigned *seqp)
{
	while (mnt_has_parent(m)) {
		struct dentry *mountpoint = m->mnt_mountpoint;

		m = m->mnt_parent;
		if (unlikely(root->dentry == mountpoint &&
			     root->mnt == &m->mnt))
			break;
		if (mountpoint != m->mnt.mnt_root) {
			path->mnt = &m->mnt;
			path->dentry = mountpoint;
			*seqp = read_seqcount_begin(&mountpoint->d_seq);
			return true;
		}
	}
	return false;
}

1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169
static bool choose_mountpoint(struct mount *m, const struct path *root,
			      struct path *path)
{
	bool found;

	rcu_read_lock();
	while (1) {
		unsigned seq, mseq = read_seqbegin(&mount_lock);

		found = choose_mountpoint_rcu(m, root, path, &seq);
		if (unlikely(!found)) {
			if (!read_seqretry(&mount_lock, mseq))
				break;
		} else {
			if (likely(__legitimize_path(path, seq, mseq)))
				break;
			rcu_read_unlock();
			path_put(path);
			rcu_read_lock();
		}
	}
	rcu_read_unlock();
	return found;
}

N
Nick Piggin 已提交
1170
/*
1171 1172 1173
 * Perform an automount
 * - return -EISDIR to tell follow_managed() to stop and return the path we
 *   were called with.
L
Linus Torvalds 已提交
1174
 */
1175
static int follow_automount(struct path *path, int *count, unsigned lookup_flags)
N
Nick Piggin 已提交
1176
{
1177
	struct dentry *dentry = path->dentry;
1178

1179 1180 1181 1182 1183 1184 1185 1186 1187 1188
	/* We don't want to mount if someone's just doing a stat -
	 * unless they're stat'ing a directory and appended a '/' to
	 * the name.
	 *
	 * We do, however, want to mount if someone wants to open or
	 * create a file of any type under the mountpoint, wants to
	 * traverse through the mountpoint or wants to open the
	 * mounted directory.  Also, autofs may mark negative dentries
	 * as being automount points.  These will need the attentions
	 * of the daemon to instantiate them before they can be used.
1189
	 */
1190
	if (!(lookup_flags & (LOOKUP_PARENT | LOOKUP_DIRECTORY |
1191
			   LOOKUP_OPEN | LOOKUP_CREATE | LOOKUP_AUTOMOUNT)) &&
1192
	    dentry->d_inode)
1193
		return -EISDIR;
1194

1195
	if (count && (*count)++ >= MAXSYMLINKS)
1196 1197
		return -ELOOP;

1198
	return finish_automount(dentry->d_op->d_automount(path), path);
A
Al Viro 已提交
1199 1200
}

1201
/*
A
Al Viro 已提交
1202 1203 1204 1205
 * mount traversal - out-of-line part.  One note on ->d_flags accesses -
 * dentries are pinned but not locked here, so negative dentry can go
 * positive right under us.  Use of smp_load_acquire() provides a barrier
 * sufficient for ->d_inode and ->d_flags consistency.
1206
 */
A
Al Viro 已提交
1207 1208
static int __traverse_mounts(struct path *path, unsigned flags, bool *jumped,
			     int *count, unsigned lookup_flags)
L
Linus Torvalds 已提交
1209
{
A
Al Viro 已提交
1210
	struct vfsmount *mnt = path->mnt;
1211
	bool need_mntput = false;
1212
	int ret = 0;
1213

A
Al Viro 已提交
1214
	while (flags & DCACHE_MANAGED_DENTRY) {
1215 1216
		/* Allow the filesystem to manage the transit without i_mutex
		 * being held. */
1217
		if (flags & DCACHE_MANAGE_TRANSIT) {
1218
			ret = path->dentry->d_op->d_manage(path, false);
1219
			flags = smp_load_acquire(&path->dentry->d_flags);
1220
			if (ret < 0)
1221
				break;
1222 1223
		}

A
Al Viro 已提交
1224
		if (flags & DCACHE_MOUNTED) {	// something's mounted on it..
1225
			struct vfsmount *mounted = lookup_mnt(path);
A
Al Viro 已提交
1226
			if (mounted) {		// ... in our namespace
1227 1228 1229 1230 1231
				dput(path->dentry);
				if (need_mntput)
					mntput(path->mnt);
				path->mnt = mounted;
				path->dentry = dget(mounted->mnt_root);
A
Al Viro 已提交
1232 1233
				// here we know it's positive
				flags = path->dentry->d_flags;
1234 1235 1236 1237 1238
				need_mntput = true;
				continue;
			}
		}

A
Al Viro 已提交
1239 1240
		if (!(flags & DCACHE_NEED_AUTOMOUNT))
			break;
1241

A
Al Viro 已提交
1242 1243 1244 1245 1246
		// uncovered automount point
		ret = follow_automount(path, count, lookup_flags);
		flags = smp_load_acquire(&path->dentry->d_flags);
		if (ret < 0)
			break;
L
Linus Torvalds 已提交
1247
	}
1248

A
Al Viro 已提交
1249 1250 1251 1252 1253 1254
	if (ret == -EISDIR)
		ret = 0;
	// possible if you race with several mount --move
	if (need_mntput && path->mnt == mnt)
		mntput(path->mnt);
	if (!ret && unlikely(d_flags_negative(flags)))
1255
		ret = -ENOENT;
A
Al Viro 已提交
1256
	*jumped = need_mntput;
1257
	return ret;
L
Linus Torvalds 已提交
1258 1259
}

A
Al Viro 已提交
1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274
static inline int traverse_mounts(struct path *path, bool *jumped,
				  int *count, unsigned lookup_flags)
{
	unsigned flags = smp_load_acquire(&path->dentry->d_flags);

	/* fastpath */
	if (likely(!(flags & DCACHE_MANAGED_DENTRY))) {
		*jumped = false;
		if (unlikely(d_flags_negative(flags)))
			return -ENOENT;
		return 0;
	}
	return __traverse_mounts(path, flags, jumped, count, lookup_flags);
}

1275
int follow_down_one(struct path *path)
L
Linus Torvalds 已提交
1276 1277 1278
{
	struct vfsmount *mounted;

A
Al Viro 已提交
1279
	mounted = lookup_mnt(path);
L
Linus Torvalds 已提交
1280
	if (mounted) {
A
Al Viro 已提交
1281 1282 1283 1284
		dput(path->dentry);
		mntput(path->mnt);
		path->mnt = mounted;
		path->dentry = dget(mounted->mnt_root);
L
Linus Torvalds 已提交
1285 1286 1287 1288
		return 1;
	}
	return 0;
}
1289
EXPORT_SYMBOL(follow_down_one);
L
Linus Torvalds 已提交
1290

A
Al Viro 已提交
1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307
/*
 * Follow down to the covering mount currently visible to userspace.  At each
 * point, the filesystem owning that dentry may be queried as to whether the
 * caller is permitted to proceed or not.
 */
int follow_down(struct path *path)
{
	struct vfsmount *mnt = path->mnt;
	bool jumped;
	int ret = traverse_mounts(path, &jumped, NULL, 0);

	if (path->mnt != mnt)
		mntput(mnt);
	return ret;
}
EXPORT_SYMBOL(follow_down);

1308
/*
1309 1310
 * Try to skip to top of mountpoint pile in rcuwalk mode.  Fail if
 * we meet a managed dentry that would need blocking.
1311 1312
 */
static bool __follow_mount_rcu(struct nameidata *nd, struct path *path,
1313
			       struct inode **inode, unsigned *seqp)
1314
{
A
Al Viro 已提交
1315 1316 1317 1318 1319 1320 1321 1322 1323
	struct dentry *dentry = path->dentry;
	unsigned int flags = dentry->d_flags;

	if (likely(!(flags & DCACHE_MANAGED_DENTRY)))
		return true;

	if (unlikely(nd->flags & LOOKUP_NO_XDEV))
		return false;

1324 1325 1326 1327 1328
	for (;;) {
		/*
		 * Don't forget we might have a non-mountpoint managed dentry
		 * that wants to block transit.
		 */
A
Al Viro 已提交
1329 1330 1331 1332 1333
		if (unlikely(flags & DCACHE_MANAGE_TRANSIT)) {
			int res = dentry->d_op->d_manage(path, true);
			if (res)
				return res == -EISDIR;
			flags = dentry->d_flags;
1334
		}
1335

A
Al Viro 已提交
1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356
		if (flags & DCACHE_MOUNTED) {
			struct mount *mounted = __lookup_mnt(path->mnt, dentry);
			if (mounted) {
				path->mnt = &mounted->mnt;
				dentry = path->dentry = mounted->mnt.mnt_root;
				nd->flags |= LOOKUP_JUMPED;
				*seqp = read_seqcount_begin(&dentry->d_seq);
				*inode = dentry->d_inode;
				/*
				 * We don't need to re-check ->d_seq after this
				 * ->d_inode read - there will be an RCU delay
				 * between mount hash removal and ->mnt_root
				 * becoming unpinned.
				 */
				flags = dentry->d_flags;
				continue;
			}
			if (read_seqretry(&mount_lock, nd->m_seq))
				return false;
		}
		return !(flags & DCACHE_NEED_AUTOMOUNT);
1357
	}
1358 1359
}

1360 1361 1362
static inline int handle_mounts(struct nameidata *nd, struct dentry *dentry,
			  struct path *path, struct inode **inode,
			  unsigned int *seqp)
1363
{
A
Al Viro 已提交
1364
	bool jumped;
1365
	int ret;
1366

1367 1368
	path->mnt = nd->path.mnt;
	path->dentry = dentry;
1369 1370 1371 1372 1373
	if (nd->flags & LOOKUP_RCU) {
		unsigned int seq = *seqp;
		if (unlikely(!*inode))
			return -ENOENT;
		if (likely(__follow_mount_rcu(nd, path, inode, seqp)))
A
Al Viro 已提交
1374
			return 0;
1375 1376 1377 1378 1379 1380
		if (unlazy_child(nd, dentry, seq))
			return -ECHILD;
		// *path might've been clobbered by __follow_mount_rcu()
		path->mnt = nd->path.mnt;
		path->dentry = dentry;
	}
A
Al Viro 已提交
1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392
	ret = traverse_mounts(path, &jumped, &nd->total_link_count, nd->flags);
	if (jumped) {
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			ret = -EXDEV;
		else
			nd->flags |= LOOKUP_JUMPED;
	}
	if (unlikely(ret)) {
		dput(path->dentry);
		if (path->mnt != nd->path.mnt)
			mntput(path->mnt);
	} else {
1393 1394 1395 1396 1397 1398
		*inode = d_backing_inode(path->dentry);
		*seqp = 0; /* out of RCU mode, so the value doesn't matter */
	}
	return ret;
}

1399
/*
1400 1401
 * This looks up the name in dcache and possibly revalidates the found dentry.
 * NULL is returned if the dentry does not exist in the cache.
1402
 */
1403 1404
static struct dentry *lookup_dcache(const struct qstr *name,
				    struct dentry *dir,
1405
				    unsigned int flags)
1406
{
1407
	struct dentry *dentry = d_lookup(dir, name);
M
Miklos Szeredi 已提交
1408
	if (dentry) {
1409 1410 1411 1412 1413 1414
		int error = d_revalidate(dentry, flags);
		if (unlikely(error <= 0)) {
			if (!error)
				d_invalidate(dentry);
			dput(dentry);
			return ERR_PTR(error);
M
Miklos Szeredi 已提交
1415 1416
		}
	}
1417 1418 1419
	return dentry;
}

1420
/*
1421 1422 1423 1424 1425
 * Parent directory has inode locked exclusive.  This is one
 * and only case when ->lookup() gets called on non in-lookup
 * dentries - as the matter of fact, this only gets called
 * when directory is guaranteed to have no in-lookup children
 * at all.
1426
 */
1427
static struct dentry *__lookup_hash(const struct qstr *name,
1428
		struct dentry *base, unsigned int flags)
1429
{
1430
	struct dentry *dentry = lookup_dcache(name, base, flags);
1431 1432
	struct dentry *old;
	struct inode *dir = base->d_inode;
1433

1434
	if (dentry)
M
Miklos Szeredi 已提交
1435
		return dentry;
1436

1437 1438 1439 1440
	/* Don't create child dentry for a dead directory. */
	if (unlikely(IS_DEADDIR(dir)))
		return ERR_PTR(-ENOENT);

1441 1442 1443 1444
	dentry = d_alloc(base, name);
	if (unlikely(!dentry))
		return ERR_PTR(-ENOMEM);

1445 1446 1447 1448 1449 1450
	old = dir->i_op->lookup(dir, dentry, flags);
	if (unlikely(old)) {
		dput(dentry);
		dentry = old;
	}
	return dentry;
1451 1452
}

1453 1454 1455
static struct dentry *lookup_fast(struct nameidata *nd,
				  struct inode **inode,
			          unsigned *seqp)
L
Linus Torvalds 已提交
1456
{
N
Nick Piggin 已提交
1457
	struct dentry *dentry, *parent = nd->path.dentry;
A
Al Viro 已提交
1458
	int status = 1;
1459

1460 1461
	/*
	 * Rename seqlock is not required here because in the off chance
A
Al Viro 已提交
1462 1463
	 * of a false negative due to a concurrent rename, the caller is
	 * going to fall back to non-racy lookup.
1464
	 */
N
Nick Piggin 已提交
1465 1466
	if (nd->flags & LOOKUP_RCU) {
		unsigned seq;
1467
		dentry = __d_lookup_rcu(parent, &nd->last, &seq);
A
Al Viro 已提交
1468
		if (unlikely(!dentry)) {
A
Al Viro 已提交
1469
			if (unlazy_walk(nd))
1470 1471
				return ERR_PTR(-ECHILD);
			return NULL;
A
Al Viro 已提交
1472
		}
A
Al Viro 已提交
1473

1474 1475 1476 1477
		/*
		 * This sequence count validates that the inode matches
		 * the dentry name information from lookup.
		 */
1478
		*inode = d_backing_inode(dentry);
A
Al Viro 已提交
1479
		if (unlikely(read_seqcount_retry(&dentry->d_seq, seq)))
1480
			return ERR_PTR(-ECHILD);
1481 1482 1483 1484 1485 1486 1487 1488

		/*
		 * This sequence count validates that the parent had no
		 * changes while we did the lookup of the dentry above.
		 *
		 * The memory barrier in read_seqcount_begin of child is
		 *  enough, we can use __read_seqcount_retry here.
		 */
A
Al Viro 已提交
1489
		if (unlikely(__read_seqcount_retry(&parent->d_seq, nd->seq)))
1490
			return ERR_PTR(-ECHILD);
A
Al Viro 已提交
1491

1492
		*seqp = seq;
1493
		status = d_revalidate(dentry, nd->flags);
1494
		if (likely(status > 0))
1495
			return dentry;
A
Al Viro 已提交
1496
		if (unlazy_child(nd, dentry, seq))
1497
			return ERR_PTR(-ECHILD);
1498 1499 1500
		if (unlikely(status == -ECHILD))
			/* we'd been told to redo it in non-rcu mode */
			status = d_revalidate(dentry, nd->flags);
A
Al Viro 已提交
1501
	} else {
A
Al Viro 已提交
1502
		dentry = __d_lookup(parent, &nd->last);
A
Al Viro 已提交
1503
		if (unlikely(!dentry))
1504
			return NULL;
1505
		status = d_revalidate(dentry, nd->flags);
1506
	}
A
Al Viro 已提交
1507
	if (unlikely(status <= 0)) {
1508
		if (!status)
A
Al Viro 已提交
1509
			d_invalidate(dentry);
1510
		dput(dentry);
1511
		return ERR_PTR(status);
1512
	}
1513
	return dentry;
M
Miklos Szeredi 已提交
1514 1515 1516
}

/* Fast lookup failed, do it the slow way */
A
Al Viro 已提交
1517 1518 1519
static struct dentry *__lookup_slow(const struct qstr *name,
				    struct dentry *dir,
				    unsigned int flags)
M
Miklos Szeredi 已提交
1520
{
A
Al Viro 已提交
1521
	struct dentry *dentry, *old;
1522
	struct inode *inode = dir->d_inode;
1523
	DECLARE_WAIT_QUEUE_HEAD_ONSTACK(wq);
1524 1525

	/* Don't go there if it's already dead */
A
Al Viro 已提交
1526
	if (unlikely(IS_DEADDIR(inode)))
A
Al Viro 已提交
1527
		return ERR_PTR(-ENOENT);
A
Al Viro 已提交
1528
again:
1529
	dentry = d_alloc_parallel(dir, name, &wq);
A
Al Viro 已提交
1530
	if (IS_ERR(dentry))
A
Al Viro 已提交
1531
		return dentry;
A
Al Viro 已提交
1532
	if (unlikely(!d_in_lookup(dentry))) {
1533 1534 1535 1536
		int error = d_revalidate(dentry, flags);
		if (unlikely(error <= 0)) {
			if (!error) {
				d_invalidate(dentry);
1537
				dput(dentry);
1538
				goto again;
1539
			}
1540 1541
			dput(dentry);
			dentry = ERR_PTR(error);
1542
		}
A
Al Viro 已提交
1543 1544 1545 1546 1547 1548
	} else {
		old = inode->i_op->lookup(inode, dentry, flags);
		d_lookup_done(dentry);
		if (unlikely(old)) {
			dput(dentry);
			dentry = old;
1549 1550
		}
	}
1551
	return dentry;
L
Linus Torvalds 已提交
1552 1553
}

A
Al Viro 已提交
1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565
static struct dentry *lookup_slow(const struct qstr *name,
				  struct dentry *dir,
				  unsigned int flags)
{
	struct inode *inode = dir->d_inode;
	struct dentry *res;
	inode_lock_shared(inode);
	res = __lookup_slow(name, dir, flags);
	inode_unlock_shared(inode);
	return res;
}

1566 1567 1568
static inline int may_lookup(struct nameidata *nd)
{
	if (nd->flags & LOOKUP_RCU) {
1569
		int err = inode_permission(nd->inode, MAY_EXEC|MAY_NOT_BLOCK);
1570 1571
		if (err != -ECHILD)
			return err;
A
Al Viro 已提交
1572
		if (unlazy_walk(nd))
1573 1574
			return -ECHILD;
	}
1575
	return inode_permission(nd->inode, MAY_EXEC);
1576 1577
}

1578 1579 1580 1581
static int reserve_stack(struct nameidata *nd, struct path *link, unsigned seq)
{
	if (unlikely(nd->total_link_count++ >= MAXSYMLINKS))
		return -ELOOP;
1582 1583 1584 1585 1586

	if (likely(nd->depth != EMBEDDED_LEVELS))
		return 0;
	if (likely(nd->stack != nd->internal))
		return 0;
1587
	if (likely(nd_alloc_stack(nd)))
1588
		return 0;
1589 1590 1591 1592

	if (nd->flags & LOOKUP_RCU) {
		// we need to grab link before we do unlazy.  And we can't skip
		// unlazy even if we fail to grab the link - cleanup needs it
1593
		bool grabbed_link = legitimize_path(nd, link, seq);
1594 1595 1596 1597 1598 1599

		if (unlazy_walk(nd) != 0 || !grabbed_link)
			return -ECHILD;

		if (nd_alloc_stack(nd))
			return 0;
1600
	}
1601
	return -ENOMEM;
1602 1603
}

1604 1605
enum {WALK_TRAILING = 1, WALK_MORE = 2, WALK_NOFOLLOW = 4};

1606
static const char *pick_link(struct nameidata *nd, struct path *link,
1607
		     struct inode *inode, unsigned seq, int flags)
1608
{
A
Al Viro 已提交
1609
	struct saved *last;
1610
	const char *res;
1611
	int error = reserve_stack(nd, link, seq);
1612

1613
	if (unlikely(error)) {
1614
		if (!(nd->flags & LOOKUP_RCU))
A
Al Viro 已提交
1615
			path_put(link);
1616
		return ERR_PTR(error);
1617
	}
1618
	last = nd->stack + nd->depth++;
A
Al Viro 已提交
1619
	last->link = *link;
1620
	clear_delayed_call(&last->done);
1621
	last->seq = seq;
1622

1623
	if (flags & WALK_TRAILING) {
1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677
		error = may_follow_link(nd, inode);
		if (unlikely(error))
			return ERR_PTR(error);
	}

	if (unlikely(nd->flags & LOOKUP_NO_SYMLINKS))
		return ERR_PTR(-ELOOP);

	if (!(nd->flags & LOOKUP_RCU)) {
		touch_atime(&last->link);
		cond_resched();
	} else if (atime_needs_update(&last->link, inode)) {
		if (unlikely(unlazy_walk(nd)))
			return ERR_PTR(-ECHILD);
		touch_atime(&last->link);
	}

	error = security_inode_follow_link(link->dentry, inode,
					   nd->flags & LOOKUP_RCU);
	if (unlikely(error))
		return ERR_PTR(error);

	res = READ_ONCE(inode->i_link);
	if (!res) {
		const char * (*get)(struct dentry *, struct inode *,
				struct delayed_call *);
		get = inode->i_op->get_link;
		if (nd->flags & LOOKUP_RCU) {
			res = get(NULL, inode, &last->done);
			if (res == ERR_PTR(-ECHILD)) {
				if (unlikely(unlazy_walk(nd)))
					return ERR_PTR(-ECHILD);
				res = get(link->dentry, inode, &last->done);
			}
		} else {
			res = get(link->dentry, inode, &last->done);
		}
		if (!res)
			goto all_done;
		if (IS_ERR(res))
			return res;
	}
	if (*res == '/') {
		error = nd_jump_root(nd);
		if (unlikely(error))
			return ERR_PTR(error);
		while (unlikely(*++res == '/'))
			;
	}
	if (*res)
		return res;
all_done: // pure jump
	put_link(nd);
	return NULL;
1678 1679
}

1680 1681 1682 1683 1684 1685
/*
 * Do we need to follow links? We _really_ want to be able
 * to do this check without having to look at inode->i_op,
 * so we keep a cache of "no, this doesn't need follow_link"
 * for the common case.
 */
1686
static const char *step_into(struct nameidata *nd, int flags,
A
Al Viro 已提交
1687
		     struct dentry *dentry, struct inode *inode, unsigned seq)
1688
{
A
Al Viro 已提交
1689 1690 1691 1692
	struct path path;
	int err = handle_mounts(nd, dentry, &path, &inode, &seq);

	if (err < 0)
1693
		return ERR_PTR(err);
A
Al Viro 已提交
1694
	if (likely(!d_is_symlink(path.dentry)) ||
1695
	   ((flags & WALK_TRAILING) && !(nd->flags & LOOKUP_FOLLOW)) ||
A
Al Viro 已提交
1696
	   (flags & WALK_NOFOLLOW)) {
1697
		/* not a symlink or should not follow */
1698 1699 1700 1701 1702 1703
		if (!(nd->flags & LOOKUP_RCU)) {
			dput(nd->path.dentry);
			if (nd->path.mnt != path.mnt)
				mntput(nd->path.mnt);
		}
		nd->path = path;
1704 1705
		nd->inode = inode;
		nd->seq = seq;
1706
		return NULL;
1707
	}
1708
	if (nd->flags & LOOKUP_RCU) {
1709
		/* make sure that d_is_symlink above matches inode */
A
Al Viro 已提交
1710
		if (read_seqcount_retry(&path.dentry->d_seq, seq))
1711
			return ERR_PTR(-ECHILD);
1712 1713 1714
	} else {
		if (path.mnt == nd->path.mnt)
			mntget(path.mnt);
1715
	}
1716
	return pick_link(nd, &path, inode, seq, flags);
1717 1718
}

1719 1720 1721
static struct dentry *follow_dotdot_rcu(struct nameidata *nd,
					struct inode **inodep,
					unsigned *seqp)
1722
{
A
Al Viro 已提交
1723
	struct dentry *parent, *old;
1724

A
Al Viro 已提交
1725 1726 1727
	if (path_equal(&nd->path, &nd->root))
		goto in_root;
	if (unlikely(nd->path.dentry == nd->path.mnt->mnt_root)) {
A
Al Viro 已提交
1728
		struct path path;
1729
		unsigned seq;
A
Al Viro 已提交
1730 1731 1732
		if (!choose_mountpoint_rcu(real_mount(nd->path.mnt),
					   &nd->root, &path, &seq))
			goto in_root;
1733 1734 1735 1736 1737 1738 1739 1740
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			return ERR_PTR(-ECHILD);
		nd->path = path;
		nd->inode = path.dentry->d_inode;
		nd->seq = seq;
		if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
			return ERR_PTR(-ECHILD);
		/* we know that mountpoint was pinned */
1741
	}
A
Al Viro 已提交
1742 1743 1744 1745 1746 1747 1748 1749 1750 1751
	old = nd->path.dentry;
	parent = old->d_parent;
	*inodep = parent->d_inode;
	*seqp = read_seqcount_begin(&parent->d_seq);
	if (unlikely(read_seqcount_retry(&old->d_seq, nd->seq)))
		return ERR_PTR(-ECHILD);
	if (unlikely(!path_connected(nd->path.mnt, parent)))
		return ERR_PTR(-ECHILD);
	return parent;
in_root:
1752 1753
	if (unlikely(read_seqretry(&mount_lock, nd->m_seq)))
		return ERR_PTR(-ECHILD);
1754 1755 1756
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return ERR_PTR(-ECHILD);
	return NULL;
1757 1758
}

1759 1760 1761
static struct dentry *follow_dotdot(struct nameidata *nd,
				 struct inode **inodep,
				 unsigned *seqp)
1762
{
A
Al Viro 已提交
1763 1764 1765 1766 1767
	struct dentry *parent;

	if (path_equal(&nd->path, &nd->root))
		goto in_root;
	if (unlikely(nd->path.dentry == nd->path.mnt->mnt_root)) {
1768 1769 1770 1771 1772
		struct path path;

		if (!choose_mountpoint(real_mount(nd->path.mnt),
				       &nd->root, &path))
			goto in_root;
1773 1774
		path_put(&nd->path);
		nd->path = path;
1775
		nd->inode = path.dentry->d_inode;
1776 1777
		if (unlikely(nd->flags & LOOKUP_NO_XDEV))
			return ERR_PTR(-EXDEV);
1778
	}
A
Al Viro 已提交
1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789
	/* rare case of legitimate dget_parent()... */
	parent = dget_parent(nd->path.dentry);
	if (unlikely(!path_connected(nd->path.mnt, parent))) {
		dput(parent);
		return ERR_PTR(-ENOENT);
	}
	*seqp = 0;
	*inodep = parent->d_inode;
	return parent;

in_root:
1790 1791 1792 1793
	if (unlikely(nd->flags & LOOKUP_BENEATH))
		return ERR_PTR(-EXDEV);
	dget(nd->path.dentry);
	return NULL;
1794 1795
}

1796
static const char *handle_dots(struct nameidata *nd, int type)
1797 1798
{
	if (type == LAST_DOTDOT) {
1799
		const char *error = NULL;
1800 1801 1802
		struct dentry *parent;
		struct inode *inode;
		unsigned seq;
1803 1804

		if (!nd->root.mnt) {
1805
			error = ERR_PTR(set_root(nd));
1806 1807 1808 1809
			if (error)
				return error;
		}
		if (nd->flags & LOOKUP_RCU)
1810
			parent = follow_dotdot_rcu(nd, &inode, &seq);
1811
		else
1812 1813 1814 1815 1816 1817 1818 1819 1820 1821
			parent = follow_dotdot(nd, &inode, &seq);
		if (IS_ERR(parent))
			return ERR_CAST(parent);
		if (unlikely(!parent))
			error = step_into(nd, WALK_NOFOLLOW,
					 nd->path.dentry, nd->inode, nd->seq);
		else
			error = step_into(nd, WALK_NOFOLLOW,
					 parent, inode, seq);
		if (unlikely(error))
1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832
			return error;

		if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
			/*
			 * If there was a racing rename or mount along our
			 * path, then we can't be sure that ".." hasn't jumped
			 * above nd->root (and so userspace should retry or use
			 * some fallback).
			 */
			smp_rmb();
			if (unlikely(__read_seqcount_retry(&mount_lock.seqcount, nd->m_seq)))
1833
				return ERR_PTR(-EAGAIN);
1834
			if (unlikely(__read_seqcount_retry(&rename_lock.seqcount, nd->r_seq)))
1835
				return ERR_PTR(-EAGAIN);
1836 1837
		}
	}
1838
	return NULL;
1839 1840
}

1841
static const char *walk_component(struct nameidata *nd, int flags)
1842
{
1843
	struct dentry *dentry;
1844
	struct inode *inode;
1845
	unsigned seq;
1846 1847 1848 1849 1850
	/*
	 * "." and ".." are special - ".." especially so because it has
	 * to be able to know about the current root directory and
	 * parent relationships.
	 */
1851
	if (unlikely(nd->last_type != LAST_NORM)) {
A
Al Viro 已提交
1852
		if (!(flags & WALK_MORE) && nd->depth)
1853
			put_link(nd);
1854
		return handle_dots(nd, nd->last_type);
1855
	}
1856 1857
	dentry = lookup_fast(nd, &inode, &seq);
	if (IS_ERR(dentry))
1858
		return ERR_CAST(dentry);
1859
	if (unlikely(!dentry)) {
1860 1861
		dentry = lookup_slow(&nd->last, nd->path.dentry, nd->flags);
		if (IS_ERR(dentry))
1862
			return ERR_CAST(dentry);
1863
	}
1864 1865
	if (!(flags & WALK_MORE) && nd->depth)
		put_link(nd);
1866
	return step_into(nd, flags, dentry, inode, seq);
1867 1868
}

1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887
/*
 * We can do the critical dentry name comparison and hashing
 * operations one word at a time, but we are limited to:
 *
 * - Architectures with fast unaligned word accesses. We could
 *   do a "get_unaligned()" if this helps and is sufficiently
 *   fast.
 *
 * - non-CONFIG_DEBUG_PAGEALLOC configurations (so that we
 *   do not trap on the (extremely unlikely) case of a page
 *   crossing operation.
 *
 * - Furthermore, we need an efficient 64-bit compile for the
 *   64-bit case in order to generate the "number of bytes in
 *   the final mask". Again, that could be replaced with a
 *   efficient population count instruction or similar.
 */
#ifdef CONFIG_DCACHE_WORD_ACCESS

1888
#include <asm/word-at-a-time.h>
1889

1890
#ifdef HASH_MIX
1891

1892
/* Architecture provides HASH_MIX and fold_hash() in <asm/hash.h> */
1893

1894
#elif defined(CONFIG_64BIT)
1895
/*
1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922
 * Register pressure in the mixing function is an issue, particularly
 * on 32-bit x86, but almost any function requires one state value and
 * one temporary.  Instead, use a function designed for two state values
 * and no temporaries.
 *
 * This function cannot create a collision in only two iterations, so
 * we have two iterations to achieve avalanche.  In those two iterations,
 * we have six layers of mixing, which is enough to spread one bit's
 * influence out to 2^6 = 64 state bits.
 *
 * Rotate constants are scored by considering either 64 one-bit input
 * deltas or 64*63/2 = 2016 two-bit input deltas, and finding the
 * probability of that delta causing a change to each of the 128 output
 * bits, using a sample of random initial states.
 *
 * The Shannon entropy of the computed probabilities is then summed
 * to produce a score.  Ideally, any input change has a 50% chance of
 * toggling any given output bit.
 *
 * Mixing scores (in bits) for (12,45):
 * Input delta: 1-bit      2-bit
 * 1 round:     713.3    42542.6
 * 2 rounds:   2753.7   140389.8
 * 3 rounds:   5954.1   233458.2
 * 4 rounds:   7862.6   256672.2
 * Perfect:    8192     258048
 *            (64*128) (64*63/2 * 128)
1923
 */
1924 1925 1926 1927 1928
#define HASH_MIX(x, y, a)	\
	(	x ^= (a),	\
	y ^= x,	x = rol64(x,12),\
	x += y,	y = rol64(y,45),\
	y *= 9			)
1929

1930
/*
1931 1932 1933
 * Fold two longs into one 32-bit hash value.  This must be fast, but
 * latency isn't quite as critical, as there is a fair bit of additional
 * work done before the hash value is used.
1934
 */
1935
static inline unsigned int fold_hash(unsigned long x, unsigned long y)
1936
{
1937 1938 1939
	y ^= x * GOLDEN_RATIO_64;
	y *= GOLDEN_RATIO_64;
	return y >> 32;
1940 1941
}

1942 1943
#else	/* 32-bit case */

1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958
/*
 * Mixing scores (in bits) for (7,20):
 * Input delta: 1-bit      2-bit
 * 1 round:     330.3     9201.6
 * 2 rounds:   1246.4    25475.4
 * 3 rounds:   1907.1    31295.1
 * 4 rounds:   2042.3    31718.6
 * Perfect:    2048      31744
 *            (32*64)   (32*31/2 * 64)
 */
#define HASH_MIX(x, y, a)	\
	(	x ^= (a),	\
	y ^= x,	x = rol32(x, 7),\
	x += y,	y = rol32(y,20),\
	y *= 9			)
1959

1960
static inline unsigned int fold_hash(unsigned long x, unsigned long y)
1961
{
1962 1963
	/* Use arch-optimized multiply if one exists */
	return __hash_32(y ^ __hash_32(x));
1964 1965
}

1966 1967
#endif

1968 1969 1970 1971 1972 1973 1974
/*
 * Return the hash of a string of known length.  This is carfully
 * designed to match hash_name(), which is the more critical function.
 * In particular, we must end by hashing a final word containing 0..7
 * payload bytes, to match the way that hash_name() iterates until it
 * finds the delimiter after the name.
 */
1975
unsigned int full_name_hash(const void *salt, const char *name, unsigned int len)
1976
{
1977
	unsigned long a, x = 0, y = (unsigned long)salt;
1978 1979

	for (;;) {
1980 1981
		if (!len)
			goto done;
1982
		a = load_unaligned_zeropad(name);
1983 1984
		if (len < sizeof(unsigned long))
			break;
1985
		HASH_MIX(x, y, a);
1986 1987 1988
		name += sizeof(unsigned long);
		len -= sizeof(unsigned long);
	}
1989
	x ^= a & bytemask_from_count(len);
1990
done:
1991
	return fold_hash(x, y);
1992 1993 1994
}
EXPORT_SYMBOL(full_name_hash);

1995
/* Return the "hash_len" (hash and length) of a null-terminated string */
1996
u64 hashlen_string(const void *salt, const char *name)
1997
{
1998 1999
	unsigned long a = 0, x = 0, y = (unsigned long)salt;
	unsigned long adata, mask, len;
2000 2001
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;

2002 2003 2004
	len = 0;
	goto inside;

2005
	do {
2006
		HASH_MIX(x, y, a);
2007
		len += sizeof(unsigned long);
2008
inside:
2009 2010 2011 2012 2013
		a = load_unaligned_zeropad(name+len);
	} while (!has_zero(a, &adata, &constants));

	adata = prep_zero_mask(a, adata, &constants);
	mask = create_zero_mask(adata);
2014
	x ^= a & zero_bytemask(mask);
2015

2016
	return hashlen_create(fold_hash(x, y), len + find_zero(mask));
2017 2018 2019
}
EXPORT_SYMBOL(hashlen_string);

2020 2021
/*
 * Calculate the length and hash of the path component, and
2022
 * return the "hash_len" as the result.
2023
 */
2024
static inline u64 hash_name(const void *salt, const char *name)
2025
{
2026 2027
	unsigned long a = 0, b, x = 0, y = (unsigned long)salt;
	unsigned long adata, bdata, mask, len;
2028
	const struct word_at_a_time constants = WORD_AT_A_TIME_CONSTANTS;
2029

2030 2031 2032
	len = 0;
	goto inside;

2033
	do {
2034
		HASH_MIX(x, y, a);
2035
		len += sizeof(unsigned long);
2036
inside:
2037
		a = load_unaligned_zeropad(name+len);
2038 2039 2040 2041 2042 2043
		b = a ^ REPEAT_BYTE('/');
	} while (!(has_zero(a, &adata, &constants) | has_zero(b, &bdata, &constants)));

	adata = prep_zero_mask(a, adata, &constants);
	bdata = prep_zero_mask(b, bdata, &constants);
	mask = create_zero_mask(adata | bdata);
2044
	x ^= a & zero_bytemask(mask);
2045

2046
	return hashlen_create(fold_hash(x, y), len + find_zero(mask));
2047 2048
}

2049
#else	/* !CONFIG_DCACHE_WORD_ACCESS: Slow, byte-at-a-time version */
2050

2051
/* Return the hash of a string of known length */
2052
unsigned int full_name_hash(const void *salt, const char *name, unsigned int len)
L
Linus Torvalds 已提交
2053
{
2054
	unsigned long hash = init_name_hash(salt);
L
Linus Torvalds 已提交
2055
	while (len--)
2056
		hash = partial_name_hash((unsigned char)*name++, hash);
L
Linus Torvalds 已提交
2057 2058
	return end_name_hash(hash);
}
2059
EXPORT_SYMBOL(full_name_hash);
L
Linus Torvalds 已提交
2060

2061
/* Return the "hash_len" (hash and length) of a null-terminated string */
2062
u64 hashlen_string(const void *salt, const char *name)
2063
{
2064
	unsigned long hash = init_name_hash(salt);
2065 2066 2067
	unsigned long len = 0, c;

	c = (unsigned char)*name;
2068
	while (c) {
2069 2070 2071
		len++;
		hash = partial_name_hash(c, hash);
		c = (unsigned char)name[len];
2072
	}
2073 2074
	return hashlen_create(end_name_hash(hash), len);
}
2075
EXPORT_SYMBOL(hashlen_string);
2076

2077 2078 2079 2080
/*
 * We know there's a real path component here of at least
 * one character.
 */
2081
static inline u64 hash_name(const void *salt, const char *name)
2082
{
2083
	unsigned long hash = init_name_hash(salt);
2084 2085 2086 2087 2088 2089 2090 2091
	unsigned long len = 0, c;

	c = (unsigned char)*name;
	do {
		len++;
		hash = partial_name_hash(c, hash);
		c = (unsigned char)name[len];
	} while (c && c != '/');
2092
	return hashlen_create(end_name_hash(hash), len);
2093 2094
}

2095 2096
#endif

L
Linus Torvalds 已提交
2097 2098
/*
 * Name resolution.
2099 2100
 * This is the basic name resolution function, turning a pathname into
 * the final dentry. We expect 'base' to be positive and a directory.
L
Linus Torvalds 已提交
2101
 *
2102 2103
 * Returns 0 and nd will have valid dentry and mnt on success.
 * Returns error and drops reference to input namei data on failure.
L
Linus Torvalds 已提交
2104
 */
2105
static int link_path_walk(const char *name, struct nameidata *nd)
L
Linus Torvalds 已提交
2106
{
2107
	int depth = 0; // depth <= nd->depth
L
Linus Torvalds 已提交
2108
	int err;
A
Al Viro 已提交
2109

2110
	nd->last_type = LAST_ROOT;
2111
	nd->flags |= LOOKUP_PARENT;
2112 2113
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
2114 2115 2116
	while (*name=='/')
		name++;
	if (!*name)
2117
		return 0;
L
Linus Torvalds 已提交
2118 2119 2120

	/* At this point we know we have a real path component. */
	for(;;) {
2121
		const char *link;
2122
		u64 hash_len;
A
Al Viro 已提交
2123
		int type;
L
Linus Torvalds 已提交
2124

2125
		err = may_lookup(nd);
2126
		if (err)
2127
			return err;
L
Linus Torvalds 已提交
2128

2129
		hash_len = hash_name(nd->path.dentry, name);
L
Linus Torvalds 已提交
2130

A
Al Viro 已提交
2131
		type = LAST_NORM;
2132
		if (name[0] == '.') switch (hashlen_len(hash_len)) {
A
Al Viro 已提交
2133
			case 2:
2134
				if (name[1] == '.') {
A
Al Viro 已提交
2135
					type = LAST_DOTDOT;
A
Al Viro 已提交
2136 2137
					nd->flags |= LOOKUP_JUMPED;
				}
A
Al Viro 已提交
2138 2139 2140 2141
				break;
			case 1:
				type = LAST_DOT;
		}
2142 2143
		if (likely(type == LAST_NORM)) {
			struct dentry *parent = nd->path.dentry;
A
Al Viro 已提交
2144
			nd->flags &= ~LOOKUP_JUMPED;
2145
			if (unlikely(parent->d_flags & DCACHE_OP_HASH)) {
2146
				struct qstr this = { { .hash_len = hash_len }, .name = name };
2147
				err = parent->d_op->d_hash(parent, &this);
2148
				if (err < 0)
2149
					return err;
2150 2151
				hash_len = this.hash_len;
				name = this.name;
2152 2153
			}
		}
A
Al Viro 已提交
2154

2155 2156
		nd->last.hash_len = hash_len;
		nd->last.name = name;
2157 2158
		nd->last_type = type;

2159 2160
		name += hashlen_len(hash_len);
		if (!*name)
2161
			goto OK;
2162 2163 2164 2165 2166
		/*
		 * If it wasn't NUL, we know it was '/'. Skip that
		 * slash, and continue until no more slashes.
		 */
		do {
2167 2168
			name++;
		} while (unlikely(*name == '/'));
2169 2170
		if (unlikely(!*name)) {
OK:
2171
			/* pathname or trailing symlink, done */
2172
			if (!depth) {
2173 2174
				nd->dir_uid = nd->inode->i_uid;
				nd->dir_mode = nd->inode->i_mode;
2175
				nd->flags &= ~LOOKUP_PARENT;
2176
				return 0;
2177
			}
2178
			/* last component of nested symlink */
2179
			name = nd->stack[--depth].name;
2180
			link = walk_component(nd, 0);
A
Al Viro 已提交
2181 2182
		} else {
			/* not the last component */
2183
			link = walk_component(nd, WALK_MORE);
2184
		}
2185 2186 2187 2188
		if (unlikely(link)) {
			if (IS_ERR(link))
				return PTR_ERR(link);
			/* a symlink to follow */
2189
			nd->stack[depth++].name = name;
2190 2191
			name = link;
			continue;
N
Nick Piggin 已提交
2192
		}
2193 2194
		if (unlikely(!d_can_lookup(nd->path.dentry))) {
			if (nd->flags & LOOKUP_RCU) {
A
Al Viro 已提交
2195
				if (unlazy_walk(nd))
2196 2197
					return -ECHILD;
			}
2198
			return -ENOTDIR;
2199
		}
L
Linus Torvalds 已提交
2200 2201 2202
	}
}

2203
/* must be paired with terminate_walk() */
2204
static const char *path_init(struct nameidata *nd, unsigned flags)
N
Nick Piggin 已提交
2205
{
2206
	int error;
2207
	const char *s = nd->name->name;
N
Nick Piggin 已提交
2208

2209 2210
	if (!*s)
		flags &= ~LOOKUP_RCU;
2211 2212
	if (flags & LOOKUP_RCU)
		rcu_read_lock();
2213

2214
	nd->flags = flags | LOOKUP_JUMPED;
N
Nick Piggin 已提交
2215
	nd->depth = 0;
2216 2217 2218 2219 2220

	nd->m_seq = __read_seqcount_begin(&mount_lock.seqcount);
	nd->r_seq = __read_seqcount_begin(&rename_lock.seqcount);
	smp_rmb();

2221
	if (flags & LOOKUP_ROOT) {
2222 2223
		struct dentry *root = nd->root.dentry;
		struct inode *inode = root->d_inode;
2224 2225
		if (*s && unlikely(!d_can_lookup(root)))
			return ERR_PTR(-ENOTDIR);
2226 2227 2228
		nd->path = nd->root;
		nd->inode = inode;
		if (flags & LOOKUP_RCU) {
2229
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
2230
			nd->root_seq = nd->seq;
2231 2232 2233
		} else {
			path_get(&nd->path);
		}
2234
		return s;
2235 2236
	}

N
Nick Piggin 已提交
2237
	nd->root.mnt = NULL;
2238 2239
	nd->path.mnt = NULL;
	nd->path.dentry = NULL;
N
Nick Piggin 已提交
2240

2241 2242
	/* Absolute pathname -- fetch the root (LOOKUP_IN_ROOT uses nd->dfd). */
	if (*s == '/' && !(flags & LOOKUP_IN_ROOT)) {
2243 2244 2245 2246
		error = nd_jump_root(nd);
		if (unlikely(error))
			return ERR_PTR(error);
		return s;
2247 2248 2249 2250
	}

	/* Relative pathname -- get the starting-point it is relative to. */
	if (nd->dfd == AT_FDCWD) {
A
Al Viro 已提交
2251 2252 2253
		if (flags & LOOKUP_RCU) {
			struct fs_struct *fs = current->fs;
			unsigned seq;
N
Nick Piggin 已提交
2254

A
Al Viro 已提交
2255 2256 2257
			do {
				seq = read_seqcount_begin(&fs->seq);
				nd->path = fs->pwd;
2258
				nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2259 2260 2261 2262
				nd->seq = __read_seqcount_begin(&nd->path.dentry->d_seq);
			} while (read_seqcount_retry(&fs->seq, seq));
		} else {
			get_fs_pwd(current->fs, &nd->path);
2263
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2264
		}
N
Nick Piggin 已提交
2265
	} else {
2266
		/* Caller must check execute permissions on the starting path component */
2267
		struct fd f = fdget_raw(nd->dfd);
N
Nick Piggin 已提交
2268 2269
		struct dentry *dentry;

2270
		if (!f.file)
2271
			return ERR_PTR(-EBADF);
N
Nick Piggin 已提交
2272

2273
		dentry = f.file->f_path.dentry;
N
Nick Piggin 已提交
2274

2275 2276 2277
		if (*s && unlikely(!d_can_lookup(dentry))) {
			fdput(f);
			return ERR_PTR(-ENOTDIR);
A
Al Viro 已提交
2278
		}
N
Nick Piggin 已提交
2279

2280
		nd->path = f.file->f_path;
A
Al Viro 已提交
2281
		if (flags & LOOKUP_RCU) {
A
Al Viro 已提交
2282 2283
			nd->inode = nd->path.dentry->d_inode;
			nd->seq = read_seqcount_begin(&nd->path.dentry->d_seq);
A
Al Viro 已提交
2284
		} else {
2285
			path_get(&nd->path);
A
Al Viro 已提交
2286
			nd->inode = nd->path.dentry->d_inode;
A
Al Viro 已提交
2287
		}
A
Al Viro 已提交
2288
		fdput(f);
N
Nick Piggin 已提交
2289
	}
2290

2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301
	/* For scoped-lookups we need to set the root to the dirfd as well. */
	if (flags & LOOKUP_IS_SCOPED) {
		nd->root = nd->path;
		if (flags & LOOKUP_RCU) {
			nd->root_seq = nd->seq;
		} else {
			path_get(&nd->root);
			nd->flags |= LOOKUP_ROOT_GRABBED;
		}
	}
	return s;
2302 2303
}

2304
static inline const char *lookup_last(struct nameidata *nd)
2305 2306 2307 2308
{
	if (nd->last_type == LAST_NORM && nd->last.name[nd->last.len])
		nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;

2309
	return walk_component(nd, WALK_TRAILING);
2310 2311
}

2312 2313
static int handle_lookup_down(struct nameidata *nd)
{
2314
	if (!(nd->flags & LOOKUP_RCU))
2315
		dget(nd->path.dentry);
2316 2317
	return PTR_ERR(step_into(nd, WALK_NOFOLLOW,
			nd->path.dentry, nd->inode, nd->seq));
2318 2319
}

2320
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2321
static int path_lookupat(struct nameidata *nd, unsigned flags, struct path *path)
2322
{
2323
	const char *s = path_init(nd, flags);
2324
	int err;
N
Nick Piggin 已提交
2325

2326
	if (unlikely(flags & LOOKUP_DOWN) && !IS_ERR(s)) {
2327
		err = handle_lookup_down(nd);
2328 2329
		if (unlikely(err < 0))
			s = ERR_PTR(err);
2330 2331
	}

2332 2333 2334
	while (!(err = link_path_walk(s, nd)) &&
	       (s = lookup_last(nd)) != NULL)
		;
2335 2336
	if (!err)
		err = complete_walk(nd);
2337

2338 2339
	if (!err && nd->flags & LOOKUP_DIRECTORY)
		if (!d_can_lookup(nd->path.dentry))
A
Al Viro 已提交
2340
			err = -ENOTDIR;
2341 2342 2343 2344
	if (!err && unlikely(nd->flags & LOOKUP_MOUNTPOINT)) {
		err = handle_lookup_down(nd);
		nd->flags &= ~LOOKUP_JUMPED; // no d_weak_revalidate(), please...
	}
2345 2346 2347 2348 2349 2350
	if (!err) {
		*path = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2351
	return err;
A
Al Viro 已提交
2352
}
N
Nick Piggin 已提交
2353

2354 2355
int filename_lookup(int dfd, struct filename *name, unsigned flags,
		    struct path *path, struct path *root)
A
Al Viro 已提交
2356
{
2357
	int retval;
2358
	struct nameidata nd;
2359 2360
	if (IS_ERR(name))
		return PTR_ERR(name);
2361 2362 2363 2364
	if (unlikely(root)) {
		nd.root = *root;
		flags |= LOOKUP_ROOT;
	}
2365
	set_nameidata(&nd, dfd, name);
2366
	retval = path_lookupat(&nd, flags | LOOKUP_RCU, path);
A
Al Viro 已提交
2367
	if (unlikely(retval == -ECHILD))
2368
		retval = path_lookupat(&nd, flags, path);
A
Al Viro 已提交
2369
	if (unlikely(retval == -ESTALE))
2370
		retval = path_lookupat(&nd, flags | LOOKUP_REVAL, path);
N
Nick Piggin 已提交
2371

2372
	if (likely(!retval))
2373 2374
		audit_inode(name, path->dentry,
			    flags & LOOKUP_MOUNTPOINT ? AUDIT_INODE_NOEVAL : 0);
2375
	restore_nameidata();
2376
	putname(name);
2377
	return retval;
L
Linus Torvalds 已提交
2378 2379
}

2380
/* Returns 0 and nd will be valid on success; Retuns error, otherwise. */
2381
static int path_parentat(struct nameidata *nd, unsigned flags,
2382
				struct path *parent)
2383
{
2384
	const char *s = path_init(nd, flags);
2385
	int err = link_path_walk(s, nd);
2386 2387
	if (!err)
		err = complete_walk(nd);
2388 2389 2390 2391 2392 2393
	if (!err) {
		*parent = nd->path;
		nd->path.mnt = NULL;
		nd->path.dentry = NULL;
	}
	terminate_walk(nd);
2394 2395 2396
	return err;
}

2397
static struct filename *filename_parentat(int dfd, struct filename *name,
2398 2399
				unsigned int flags, struct path *parent,
				struct qstr *last, int *type)
2400 2401
{
	int retval;
2402
	struct nameidata nd;
2403

2404 2405
	if (IS_ERR(name))
		return name;
2406
	set_nameidata(&nd, dfd, name);
2407
	retval = path_parentat(&nd, flags | LOOKUP_RCU, parent);
2408
	if (unlikely(retval == -ECHILD))
2409
		retval = path_parentat(&nd, flags, parent);
2410
	if (unlikely(retval == -ESTALE))
2411
		retval = path_parentat(&nd, flags | LOOKUP_REVAL, parent);
2412 2413 2414
	if (likely(!retval)) {
		*last = nd.last;
		*type = nd.last_type;
2415
		audit_inode(name, parent->dentry, AUDIT_INODE_PARENT);
2416 2417 2418
	} else {
		putname(name);
		name = ERR_PTR(retval);
2419
	}
2420
	restore_nameidata();
2421
	return name;
2422 2423
}

A
Al Viro 已提交
2424 2425
/* does lookup, returns the object with parent locked */
struct dentry *kern_path_locked(const char *name, struct path *path)
2426
{
2427 2428
	struct filename *filename;
	struct dentry *d;
2429 2430
	struct qstr last;
	int type;
2431

2432 2433
	filename = filename_parentat(AT_FDCWD, getname_kernel(name), 0, path,
				    &last, &type);
2434 2435
	if (IS_ERR(filename))
		return ERR_CAST(filename);
2436
	if (unlikely(type != LAST_NORM)) {
2437
		path_put(path);
2438 2439
		putname(filename);
		return ERR_PTR(-EINVAL);
A
Al Viro 已提交
2440
	}
A
Al Viro 已提交
2441
	inode_lock_nested(path->dentry->d_inode, I_MUTEX_PARENT);
2442
	d = __lookup_hash(&last, path->dentry, 0);
A
Al Viro 已提交
2443
	if (IS_ERR(d)) {
A
Al Viro 已提交
2444
		inode_unlock(path->dentry->d_inode);
2445
		path_put(path);
A
Al Viro 已提交
2446
	}
2447
	putname(filename);
A
Al Viro 已提交
2448
	return d;
2449 2450
}

A
Al Viro 已提交
2451 2452
int kern_path(const char *name, unsigned int flags, struct path *path)
{
2453 2454
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags, path, NULL);
A
Al Viro 已提交
2455
}
2456
EXPORT_SYMBOL(kern_path);
A
Al Viro 已提交
2457

2458 2459 2460 2461 2462 2463
/**
 * vfs_path_lookup - lookup a file path relative to a dentry-vfsmount pair
 * @dentry:  pointer to dentry of the base directory
 * @mnt: pointer to vfs mount of the base directory
 * @name: pointer to file name
 * @flags: lookup flags
2464
 * @path: pointer to struct path to fill
2465 2466 2467
 */
int vfs_path_lookup(struct dentry *dentry, struct vfsmount *mnt,
		    const char *name, unsigned int flags,
2468
		    struct path *path)
2469
{
2470 2471
	struct path root = {.mnt = mnt, .dentry = dentry};
	/* the first argument of filename_lookup() is ignored with root */
2472 2473
	return filename_lookup(AT_FDCWD, getname_kernel(name),
			       flags , path, &root);
2474
}
2475
EXPORT_SYMBOL(vfs_path_lookup);
2476

2477 2478
static int lookup_one_len_common(const char *name, struct dentry *base,
				 int len, struct qstr *this)
2479
{
2480 2481 2482
	this->name = name;
	this->len = len;
	this->hash = full_name_hash(base, name, len);
A
Al Viro 已提交
2483
	if (!len)
2484
		return -EACCES;
A
Al Viro 已提交
2485

A
Al Viro 已提交
2486 2487
	if (unlikely(name[0] == '.')) {
		if (len < 2 || (len == 2 && name[1] == '.'))
2488
			return -EACCES;
A
Al Viro 已提交
2489 2490
	}

A
Al Viro 已提交
2491
	while (len--) {
2492
		unsigned int c = *(const unsigned char *)name++;
A
Al Viro 已提交
2493
		if (c == '/' || c == '\0')
2494
			return -EACCES;
A
Al Viro 已提交
2495
	}
2496 2497 2498 2499 2500
	/*
	 * See if the low-level filesystem might want
	 * to use its own hash..
	 */
	if (base->d_flags & DCACHE_OP_HASH) {
2501
		int err = base->d_op->d_hash(base, this);
2502
		if (err < 0)
2503
			return err;
2504
	}
2505

2506 2507 2508
	return inode_permission(base->d_inode, MAY_EXEC);
}

2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537
/**
 * try_lookup_one_len - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Look up a dentry by name in the dcache, returning NULL if it does not
 * currently exist.  The function does not try to create a dentry.
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * The caller must hold base->i_mutex.
 */
struct dentry *try_lookup_one_len(const char *name, struct dentry *base, int len)
{
	struct qstr this;
	int err;

	WARN_ON_ONCE(!inode_is_locked(base->d_inode));

	err = lookup_one_len_common(name, base, len, &this);
	if (err)
		return ERR_PTR(err);

	return lookup_dcache(&this, base, 0);
}
EXPORT_SYMBOL(try_lookup_one_len);

2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550
/**
 * lookup_one_len - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * The caller must hold base->i_mutex.
 */
struct dentry *lookup_one_len(const char *name, struct dentry *base, int len)
{
2551
	struct dentry *dentry;
2552 2553 2554 2555 2556 2557
	struct qstr this;
	int err;

	WARN_ON_ONCE(!inode_is_locked(base->d_inode));

	err = lookup_one_len_common(name, base, len, &this);
2558 2559 2560
	if (err)
		return ERR_PTR(err);

2561 2562
	dentry = lookup_dcache(&this, base, 0);
	return dentry ? dentry : __lookup_slow(&this, base, 0);
2563
}
2564
EXPORT_SYMBOL(lookup_one_len);
2565

2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582
/**
 * lookup_one_len_unlocked - filesystem helper to lookup single pathname component
 * @name:	pathname component to lookup
 * @base:	base directory to lookup from
 * @len:	maximum length @len should be interpreted to
 *
 * Note that this routine is purely a helper for filesystem usage and should
 * not be called by generic code.
 *
 * Unlike lookup_one_len, it should be called without the parent
 * i_mutex held, and will take the i_mutex itself if necessary.
 */
struct dentry *lookup_one_len_unlocked(const char *name,
				       struct dentry *base, int len)
{
	struct qstr this;
	int err;
2583
	struct dentry *ret;
2584

2585
	err = lookup_one_len_common(name, base, len, &this);
2586 2587 2588
	if (err)
		return ERR_PTR(err);

2589 2590 2591 2592
	ret = lookup_dcache(&this, base, 0);
	if (!ret)
		ret = lookup_slow(&this, base, 0);
	return ret;
2593 2594 2595
}
EXPORT_SYMBOL(lookup_one_len_unlocked);

A
Al Viro 已提交
2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607
/*
 * Like lookup_one_len_unlocked(), except that it yields ERR_PTR(-ENOENT)
 * on negatives.  Returns known positive or ERR_PTR(); that's what
 * most of the users want.  Note that pinned negative with unlocked parent
 * _can_ become positive at any time, so callers of lookup_one_len_unlocked()
 * need to be very careful; pinned positives have ->d_inode stable, so
 * this one avoids such problems.
 */
struct dentry *lookup_positive_unlocked(const char *name,
				       struct dentry *base, int len)
{
	struct dentry *ret = lookup_one_len_unlocked(name, base, len);
2608
	if (!IS_ERR(ret) && d_flags_negative(smp_load_acquire(&ret->d_flags))) {
A
Al Viro 已提交
2609 2610 2611 2612 2613 2614 2615
		dput(ret);
		ret = ERR_PTR(-ENOENT);
	}
	return ret;
}
EXPORT_SYMBOL(lookup_positive_unlocked);

2616 2617 2618 2619 2620 2621
#ifdef CONFIG_UNIX98_PTYS
int path_pts(struct path *path)
{
	/* Find something mounted on "pts" in the same directory as
	 * the input path.
	 */
2622 2623
	struct dentry *parent = dget_parent(path->dentry);
	struct dentry *child;
A
Al Viro 已提交
2624
	struct qstr this = QSTR_INIT("pts", 3);
2625

2626 2627
	if (unlikely(!path_connected(path->mnt, parent))) {
		dput(parent);
2628
		return -ENOENT;
2629
	}
2630 2631
	dput(path->dentry);
	path->dentry = parent;
2632 2633 2634 2635 2636 2637
	child = d_hash_and_lookup(parent, &this);
	if (!child)
		return -ENOENT;

	path->dentry = child;
	dput(parent);
A
Al Viro 已提交
2638
	follow_down(path);
2639 2640 2641 2642
	return 0;
}
#endif

2643 2644
int user_path_at_empty(int dfd, const char __user *name, unsigned flags,
		 struct path *path, int *empty)
L
Linus Torvalds 已提交
2645
{
2646 2647
	return filename_lookup(dfd, getname_flags(name, flags, empty),
			       flags, path, NULL);
L
Linus Torvalds 已提交
2648
}
2649
EXPORT_SYMBOL(user_path_at_empty);
2650

M
Miklos Szeredi 已提交
2651
int __check_sticky(struct inode *dir, struct inode *inode)
L
Linus Torvalds 已提交
2652
{
2653
	kuid_t fsuid = current_fsuid();
2654

2655
	if (uid_eq(inode->i_uid, fsuid))
L
Linus Torvalds 已提交
2656
		return 0;
2657
	if (uid_eq(dir->i_uid, fsuid))
L
Linus Torvalds 已提交
2658
		return 0;
2659
	return !capable_wrt_inode_uidgid(inode, CAP_FOWNER);
L
Linus Torvalds 已提交
2660
}
M
Miklos Szeredi 已提交
2661
EXPORT_SYMBOL(__check_sticky);
L
Linus Torvalds 已提交
2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675

/*
 *	Check whether we can remove a link victim from directory dir, check
 *  whether the type of victim is right.
 *  1. We can't do it if dir is read-only (done in permission())
 *  2. We should have write and exec permissions on dir
 *  3. We can't remove anything from append-only dir
 *  4. We can't do anything with immutable dir (done in permission())
 *  5. If the sticky bit on dir is set we should either
 *	a. be owner of dir, or
 *	b. be owner of victim, or
 *	c. have CAP_FOWNER capability
 *  6. If the victim is append-only or immutable we can't do antyhing with
 *     links pointing to it.
2676 2677 2678 2679 2680
 *  7. If the victim has an unknown uid or gid we can't change the inode.
 *  8. If we were asked to remove a directory and victim isn't one - ENOTDIR.
 *  9. If we were asked to remove a non-directory and victim isn't one - EISDIR.
 * 10. We can't remove a root or mountpoint.
 * 11. We don't allow removal of NFS sillyrenamed files; it's handled by
L
Linus Torvalds 已提交
2681 2682
 *     nfs_async_unlink().
 */
2683
static int may_delete(struct inode *dir, struct dentry *victim, bool isdir)
L
Linus Torvalds 已提交
2684
{
2685
	struct inode *inode = d_backing_inode(victim);
L
Linus Torvalds 已提交
2686 2687
	int error;

2688
	if (d_is_negative(victim))
L
Linus Torvalds 已提交
2689
		return -ENOENT;
2690
	BUG_ON(!inode);
L
Linus Torvalds 已提交
2691 2692

	BUG_ON(victim->d_parent->d_inode != dir);
2693 2694 2695 2696 2697

	/* Inode writeback is not safe when the uid or gid are invalid. */
	if (!uid_valid(inode->i_uid) || !gid_valid(inode->i_gid))
		return -EOVERFLOW;

2698
	audit_inode_child(dir, victim, AUDIT_TYPE_CHILD_DELETE);
L
Linus Torvalds 已提交
2699

2700
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2701 2702 2703 2704
	if (error)
		return error;
	if (IS_APPEND(dir))
		return -EPERM;
2705 2706

	if (check_sticky(dir, inode) || IS_APPEND(inode) ||
2707
	    IS_IMMUTABLE(inode) || IS_SWAPFILE(inode) || HAS_UNMAPPED_ID(inode))
L
Linus Torvalds 已提交
2708 2709
		return -EPERM;
	if (isdir) {
M
Miklos Szeredi 已提交
2710
		if (!d_is_dir(victim))
L
Linus Torvalds 已提交
2711 2712 2713
			return -ENOTDIR;
		if (IS_ROOT(victim))
			return -EBUSY;
M
Miklos Szeredi 已提交
2714
	} else if (d_is_dir(victim))
L
Linus Torvalds 已提交
2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727
		return -EISDIR;
	if (IS_DEADDIR(dir))
		return -ENOENT;
	if (victim->d_flags & DCACHE_NFSFS_RENAMED)
		return -EBUSY;
	return 0;
}

/*	Check whether we can create an object with dentry child in directory
 *  dir.
 *  1. We can't do it if child already exists (open has special treatment for
 *     this case, but since we are inlined it's OK)
 *  2. We can't do it if dir is read-only (done in permission())
2728 2729 2730
 *  3. We can't do it if the fs can't represent the fsuid or fsgid.
 *  4. We should have write and exec permissions on dir
 *  5. We can't do it if dir is immutable (done in permission())
L
Linus Torvalds 已提交
2731
 */
2732
static inline int may_create(struct inode *dir, struct dentry *child)
L
Linus Torvalds 已提交
2733
{
2734
	struct user_namespace *s_user_ns;
2735
	audit_inode_child(dir, child, AUDIT_TYPE_CHILD_CREATE);
L
Linus Torvalds 已提交
2736 2737 2738 2739
	if (child->d_inode)
		return -EEXIST;
	if (IS_DEADDIR(dir))
		return -ENOENT;
2740 2741 2742 2743
	s_user_ns = dir->i_sb->s_user_ns;
	if (!kuid_has_mapping(s_user_ns, current_fsuid()) ||
	    !kgid_has_mapping(s_user_ns, current_fsgid()))
		return -EOVERFLOW;
2744
	return inode_permission(dir, MAY_WRITE | MAY_EXEC);
L
Linus Torvalds 已提交
2745 2746 2747 2748 2749 2750 2751 2752 2753 2754
}

/*
 * p1 and p2 should be directories on the same fs.
 */
struct dentry *lock_rename(struct dentry *p1, struct dentry *p2)
{
	struct dentry *p;

	if (p1 == p2) {
A
Al Viro 已提交
2755
		inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
L
Linus Torvalds 已提交
2756 2757 2758
		return NULL;
	}

2759
	mutex_lock(&p1->d_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2760

2761 2762
	p = d_ancestor(p2, p1);
	if (p) {
A
Al Viro 已提交
2763 2764
		inode_lock_nested(p2->d_inode, I_MUTEX_PARENT);
		inode_lock_nested(p1->d_inode, I_MUTEX_CHILD);
2765
		return p;
L
Linus Torvalds 已提交
2766 2767
	}

2768 2769
	p = d_ancestor(p1, p2);
	if (p) {
A
Al Viro 已提交
2770 2771
		inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
		inode_lock_nested(p2->d_inode, I_MUTEX_CHILD);
2772
		return p;
L
Linus Torvalds 已提交
2773 2774
	}

A
Al Viro 已提交
2775 2776
	inode_lock_nested(p1->d_inode, I_MUTEX_PARENT);
	inode_lock_nested(p2->d_inode, I_MUTEX_PARENT2);
L
Linus Torvalds 已提交
2777 2778
	return NULL;
}
2779
EXPORT_SYMBOL(lock_rename);
L
Linus Torvalds 已提交
2780 2781 2782

void unlock_rename(struct dentry *p1, struct dentry *p2)
{
A
Al Viro 已提交
2783
	inode_unlock(p1->d_inode);
L
Linus Torvalds 已提交
2784
	if (p1 != p2) {
A
Al Viro 已提交
2785
		inode_unlock(p2->d_inode);
2786
		mutex_unlock(&p1->d_sb->s_vfs_rename_mutex);
L
Linus Torvalds 已提交
2787 2788
	}
}
2789
EXPORT_SYMBOL(unlock_rename);
L
Linus Torvalds 已提交
2790

A
Al Viro 已提交
2791
int vfs_create(struct inode *dir, struct dentry *dentry, umode_t mode,
A
Al Viro 已提交
2792
		bool want_excl)
L
Linus Torvalds 已提交
2793
{
2794
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
2795 2796 2797
	if (error)
		return error;

A
Al Viro 已提交
2798
	if (!dir->i_op->create)
L
Linus Torvalds 已提交
2799 2800 2801 2802 2803 2804
		return -EACCES;	/* shouldn't it be ENOSYS? */
	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
A
Al Viro 已提交
2805
	error = dir->i_op->create(dir, dentry, mode, want_excl);
2806
	if (!error)
2807
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
2808 2809
	return error;
}
2810
EXPORT_SYMBOL(vfs_create);
L
Linus Torvalds 已提交
2811

A
Al Viro 已提交
2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832
int vfs_mkobj(struct dentry *dentry, umode_t mode,
		int (*f)(struct dentry *, umode_t, void *),
		void *arg)
{
	struct inode *dir = dentry->d_parent->d_inode;
	int error = may_create(dir, dentry);
	if (error)
		return error;

	mode &= S_IALLUGO;
	mode |= S_IFREG;
	error = security_inode_create(dir, dentry, mode);
	if (error)
		return error;
	error = f(dentry, mode, arg);
	if (!error)
		fsnotify_create(dir, dentry);
	return error;
}
EXPORT_SYMBOL(vfs_mkobj);

2833 2834 2835 2836 2837 2838
bool may_open_dev(const struct path *path)
{
	return !(path->mnt->mnt_flags & MNT_NODEV) &&
		!(path->mnt->mnt_sb->s_iflags & SB_I_NODEV);
}

A
Al Viro 已提交
2839
static int may_open(const struct path *path, int acc_mode, int flag)
L
Linus Torvalds 已提交
2840
{
2841
	struct dentry *dentry = path->dentry;
L
Linus Torvalds 已提交
2842 2843 2844 2845 2846 2847
	struct inode *inode = dentry->d_inode;
	int error;

	if (!inode)
		return -ENOENT;

C
Christoph Hellwig 已提交
2848 2849
	switch (inode->i_mode & S_IFMT) {
	case S_IFLNK:
L
Linus Torvalds 已提交
2850
		return -ELOOP;
C
Christoph Hellwig 已提交
2851 2852 2853 2854 2855 2856
	case S_IFDIR:
		if (acc_mode & MAY_WRITE)
			return -EISDIR;
		break;
	case S_IFBLK:
	case S_IFCHR:
2857
		if (!may_open_dev(path))
L
Linus Torvalds 已提交
2858
			return -EACCES;
C
Christoph Hellwig 已提交
2859 2860 2861
		/*FALLTHRU*/
	case S_IFIFO:
	case S_IFSOCK:
L
Linus Torvalds 已提交
2862
		flag &= ~O_TRUNC;
C
Christoph Hellwig 已提交
2863
		break;
2864
	}
2865

A
Al Viro 已提交
2866
	error = inode_permission(inode, MAY_OPEN | acc_mode);
2867 2868
	if (error)
		return error;
M
Mimi Zohar 已提交
2869

L
Linus Torvalds 已提交
2870 2871 2872 2873
	/*
	 * An append-only file must be opened in append mode for writing.
	 */
	if (IS_APPEND(inode)) {
2874
		if  ((flag & O_ACCMODE) != O_RDONLY && !(flag & O_APPEND))
2875
			return -EPERM;
L
Linus Torvalds 已提交
2876
		if (flag & O_TRUNC)
2877
			return -EPERM;
L
Linus Torvalds 已提交
2878 2879 2880
	}

	/* O_NOATIME can only be set by the owner or superuser */
2881
	if (flag & O_NOATIME && !inode_owner_or_capable(inode))
2882
		return -EPERM;
L
Linus Torvalds 已提交
2883

2884
	return 0;
2885
}
L
Linus Torvalds 已提交
2886

2887
static int handle_truncate(struct file *filp)
2888
{
A
Al Viro 已提交
2889
	const struct path *path = &filp->f_path;
2890 2891 2892 2893 2894 2895 2896
	struct inode *inode = path->dentry->d_inode;
	int error = get_write_access(inode);
	if (error)
		return error;
	/*
	 * Refuse to truncate files with mandatory locks held on them.
	 */
2897
	error = locks_verify_locked(filp);
2898
	if (!error)
2899
		error = security_path_truncate(path);
2900 2901 2902
	if (!error) {
		error = do_truncate(path->dentry, 0,
				    ATTR_MTIME|ATTR_CTIME|ATTR_OPEN,
2903
				    filp);
2904 2905
	}
	put_write_access(inode);
M
Mimi Zohar 已提交
2906
	return error;
L
Linus Torvalds 已提交
2907 2908
}

2909 2910
static inline int open_to_namei_flags(int flag)
{
2911 2912
	if ((flag & O_ACCMODE) == 3)
		flag--;
2913 2914 2915
	return flag;
}

2916
static int may_o_create(const struct path *dir, struct dentry *dentry, umode_t mode)
M
Miklos Szeredi 已提交
2917
{
2918
	struct user_namespace *s_user_ns;
M
Miklos Szeredi 已提交
2919 2920 2921 2922
	int error = security_path_mknod(dir, dentry, mode, 0);
	if (error)
		return error;

2923 2924 2925 2926 2927
	s_user_ns = dir->dentry->d_sb->s_user_ns;
	if (!kuid_has_mapping(s_user_ns, current_fsuid()) ||
	    !kgid_has_mapping(s_user_ns, current_fsgid()))
		return -EOVERFLOW;

M
Miklos Szeredi 已提交
2928 2929 2930 2931 2932 2933 2934
	error = inode_permission(dir->dentry->d_inode, MAY_WRITE | MAY_EXEC);
	if (error)
		return error;

	return security_inode_create(dir->dentry->d_inode, dentry, mode);
}

2935 2936 2937 2938 2939 2940 2941
/*
 * Attempt to atomically look up, create and open a file from a negative
 * dentry.
 *
 * Returns 0 if successful.  The file will have been created and attached to
 * @file by the filesystem calling finish_open().
 *
2942 2943 2944
 * If the file was looked up only or didn't need creating, FMODE_OPENED won't
 * be set.  The caller will need to perform the open themselves.  @path will
 * have been updated to point to the new dentry.  This may be negative.
2945 2946 2947
 *
 * Returns an error code otherwise.
 */
2948 2949 2950
static struct dentry *atomic_open(struct nameidata *nd, struct dentry *dentry,
				  struct file *file,
				  int open_flag, umode_t mode)
M
Miklos Szeredi 已提交
2951
{
2952
	struct dentry *const DENTRY_NOT_SET = (void *) -1UL;
M
Miklos Szeredi 已提交
2953 2954 2955 2956 2957 2958
	struct inode *dir =  nd->path.dentry->d_inode;
	int error;

	if (nd->flags & LOOKUP_DIRECTORY)
		open_flag |= O_DIRECTORY;

A
Al Viro 已提交
2959 2960
	file->f_path.dentry = DENTRY_NOT_SET;
	file->f_path.mnt = nd->path.mnt;
2961
	error = dir->i_op->atomic_open(dir, dentry, file,
2962
				       open_to_namei_flags(open_flag), mode);
2963
	d_lookup_done(dentry);
2964
	if (!error) {
2965
		if (file->f_mode & FMODE_OPENED) {
2966 2967 2968 2969
			if (unlikely(dentry != file->f_path.dentry)) {
				dput(dentry);
				dentry = dget(file->f_path.dentry);
			}
2970
		} else if (WARN_ON(file->f_path.dentry == DENTRY_NOT_SET)) {
2971
			error = -EIO;
2972
		} else {
2973 2974 2975
			if (file->f_path.dentry) {
				dput(dentry);
				dentry = file->f_path.dentry;
2976
			}
2977
			if (unlikely(d_is_negative(dentry)))
A
Al Viro 已提交
2978
				error = -ENOENT;
2979
		}
M
Miklos Szeredi 已提交
2980
	}
2981 2982 2983 2984 2985
	if (error) {
		dput(dentry);
		dentry = ERR_PTR(error);
	}
	return dentry;
M
Miklos Szeredi 已提交
2986 2987
}

M
Miklos Szeredi 已提交
2988
/*
2989
 * Look up and maybe create and open the last component.
M
Miklos Szeredi 已提交
2990
 *
2991
 * Must be called with parent locked (exclusive in O_CREAT case).
2992
 *
2993 2994 2995 2996 2997 2998 2999
 * Returns 0 on success, that is, if
 *  the file was successfully atomically created (if necessary) and opened, or
 *  the file was not completely opened at this time, though lookups and
 *  creations were performed.
 * These case are distinguished by presence of FMODE_OPENED on file->f_mode.
 * In the latter case dentry returned in @path might be negative if O_CREAT
 * hadn't been specified.
3000
 *
3001
 * An error code is returned on failure.
M
Miklos Szeredi 已提交
3002
 */
3003 3004 3005
static struct dentry *lookup_open(struct nameidata *nd, struct file *file,
				  const struct open_flags *op,
				  bool got_write)
M
Miklos Szeredi 已提交
3006 3007
{
	struct dentry *dir = nd->path.dentry;
3008
	struct inode *dir_inode = dir->d_inode;
3009
	int open_flag = op->open_flag;
M
Miklos Szeredi 已提交
3010
	struct dentry *dentry;
3011 3012
	int error, create_error = 0;
	umode_t mode = op->mode;
3013
	DECLARE_WAIT_QUEUE_HEAD_ONSTACK(wq);
M
Miklos Szeredi 已提交
3014

3015
	if (unlikely(IS_DEADDIR(dir_inode)))
3016
		return ERR_PTR(-ENOENT);
M
Miklos Szeredi 已提交
3017

3018
	file->f_mode &= ~FMODE_CREATED;
3019 3020 3021 3022 3023
	dentry = d_lookup(dir, &nd->last);
	for (;;) {
		if (!dentry) {
			dentry = d_alloc_parallel(dir, &nd->last, &wq);
			if (IS_ERR(dentry))
3024
				return dentry;
3025 3026 3027
		}
		if (d_in_lookup(dentry))
			break;
M
Miklos Szeredi 已提交
3028

3029 3030 3031 3032 3033 3034 3035 3036 3037 3038
		error = d_revalidate(dentry, nd->flags);
		if (likely(error > 0))
			break;
		if (error)
			goto out_dput;
		d_invalidate(dentry);
		dput(dentry);
		dentry = NULL;
	}
	if (dentry->d_inode) {
3039
		/* Cached positive dentry: will open in f_op->open */
3040
		return dentry;
3041
	}
M
Miklos Szeredi 已提交
3042

3043 3044 3045 3046 3047 3048 3049 3050 3051
	/*
	 * Checking write permission is tricky, bacuse we don't know if we are
	 * going to actually need it: O_CREAT opens should work as long as the
	 * file exists.  But checking existence breaks atomicity.  The trick is
	 * to check access and if not granted clear O_CREAT from the flags.
	 *
	 * Another problem is returing the "right" error value (e.g. for an
	 * O_EXCL open we want to return EEXIST not EROFS).
	 */
3052 3053
	if (unlikely(!got_write))
		open_flag &= ~O_TRUNC;
3054
	if (open_flag & O_CREAT) {
3055 3056
		if (open_flag & O_EXCL)
			open_flag &= ~O_TRUNC;
3057 3058
		if (!IS_POSIXACL(dir->d_inode))
			mode &= ~current_umask();
3059
		if (likely(got_write))
3060
			create_error = may_o_create(&nd->path, dentry, mode);
3061 3062
		else
			create_error = -EROFS;
M
Miklos Szeredi 已提交
3063
	}
3064 3065
	if (create_error)
		open_flag &= ~O_CREAT;
3066
	if (dir_inode->i_op->atomic_open) {
3067
		dentry = atomic_open(nd, dentry, file, open_flag, mode);
3068 3069 3070
		if (unlikely(create_error) && dentry == ERR_PTR(-ENOENT))
			dentry = ERR_PTR(create_error);
		return dentry;
M
Miklos Szeredi 已提交
3071
	}
3072

3073
	if (d_in_lookup(dentry)) {
3074 3075
		struct dentry *res = dir_inode->i_op->lookup(dir_inode, dentry,
							     nd->flags);
3076
		d_lookup_done(dentry);
3077 3078 3079 3080 3081 3082 3083 3084
		if (unlikely(res)) {
			if (IS_ERR(res)) {
				error = PTR_ERR(res);
				goto out_dput;
			}
			dput(dentry);
			dentry = res;
		}
3085 3086
	}

M
Miklos Szeredi 已提交
3087
	/* Negative dentry, just create the file */
3088
	if (!dentry->d_inode && (open_flag & O_CREAT)) {
3089
		file->f_mode |= FMODE_CREATED;
3090 3091 3092
		audit_inode_child(dir_inode, dentry, AUDIT_TYPE_CHILD_CREATE);
		if (!dir_inode->i_op->create) {
			error = -EACCES;
M
Miklos Szeredi 已提交
3093
			goto out_dput;
3094 3095
		}
		error = dir_inode->i_op->create(dir_inode, dentry, mode,
3096
						open_flag & O_EXCL);
M
Miklos Szeredi 已提交
3097 3098 3099
		if (error)
			goto out_dput;
	}
3100 3101 3102
	if (unlikely(create_error) && !dentry->d_inode) {
		error = create_error;
		goto out_dput;
M
Miklos Szeredi 已提交
3103
	}
3104
	return dentry;
M
Miklos Szeredi 已提交
3105 3106 3107

out_dput:
	dput(dentry);
3108
	return ERR_PTR(error);
M
Miklos Szeredi 已提交
3109 3110
}

3111
static const char *open_last_lookups(struct nameidata *nd,
3112
		   struct file *file, const struct open_flags *op)
3113
{
3114
	struct dentry *dir = nd->path.dentry;
3115
	int open_flag = op->open_flag;
3116
	bool got_write = false;
3117
	unsigned seq;
3118
	struct inode *inode;
3119
	struct dentry *dentry;
3120
	const char *res;
A
Al Viro 已提交
3121
	int error;
3122

3123 3124
	nd->flags |= op->intent;

3125
	if (nd->last_type != LAST_NORM) {
3126 3127
		if (nd->depth)
			put_link(nd);
3128
		return handle_dots(nd, nd->last_type);
3129
	}
3130

3131
	if (!(open_flag & O_CREAT)) {
3132 3133 3134
		if (nd->last.name[nd->last.len])
			nd->flags |= LOOKUP_FOLLOW | LOOKUP_DIRECTORY;
		/* we _can_ be in RCU mode here */
3135 3136
		dentry = lookup_fast(nd, &inode, &seq);
		if (IS_ERR(dentry))
3137
			return ERR_CAST(dentry);
3138
		if (likely(dentry))
3139 3140
			goto finish_lookup;

A
Al Viro 已提交
3141
		BUG_ON(nd->flags & LOOKUP_RCU);
3142 3143
	} else {
		/* create side of things */
3144 3145 3146 3147 3148
		if (nd->flags & LOOKUP_RCU) {
			error = unlazy_walk(nd);
			if (unlikely(error))
				return ERR_PTR(error);
		}
3149
		audit_inode(nd->name, dir, AUDIT_INODE_PARENT);
3150
		/* trailing slashes? */
3151
		if (unlikely(nd->last.name[nd->last.len]))
3152
			return ERR_PTR(-EISDIR);
3153
	}
A
Al Viro 已提交
3154

3155
	if (open_flag & (O_CREAT | O_TRUNC | O_WRONLY | O_RDWR)) {
3156 3157 3158 3159 3160 3161 3162 3163 3164
		error = mnt_want_write(nd->path.mnt);
		if (!error)
			got_write = true;
		/*
		 * do _not_ fail yet - we might not need that or fail with
		 * a different error; let lookup_open() decide; we'll be
		 * dropping this one anyway.
		 */
	}
3165 3166 3167 3168
	if (open_flag & O_CREAT)
		inode_lock(dir->d_inode);
	else
		inode_lock_shared(dir->d_inode);
3169
	dentry = lookup_open(nd, file, op, got_write);
3170 3171
	if (!IS_ERR(dentry) && (file->f_mode & FMODE_CREATED))
		fsnotify_create(dir->d_inode, dentry);
3172 3173 3174 3175
	if (open_flag & O_CREAT)
		inode_unlock(dir->d_inode);
	else
		inode_unlock_shared(dir->d_inode);
3176

3177
	if (got_write)
3178
		mnt_drop_write(nd->path.mnt);
M
Miklos Szeredi 已提交
3179

3180 3181 3182
	if (IS_ERR(dentry))
		return ERR_CAST(dentry);

3183
	if (file->f_mode & (FMODE_OPENED | FMODE_CREATED)) {
3184 3185
		dput(nd->path.dentry);
		nd->path.dentry = dentry;
3186
		return NULL;
3187 3188
	}

3189
finish_lookup:
3190 3191
	if (nd->depth)
		put_link(nd);
3192
	res = step_into(nd, WALK_TRAILING, dentry, inode, seq);
3193
	if (unlikely(res))
3194
		nd->flags &= ~(LOOKUP_OPEN|LOOKUP_CREATE|LOOKUP_EXCL);
3195
	return res;
3196 3197 3198 3199 3200
}

/*
 * Handle the last step of open()
 */
3201
static int do_open(struct nameidata *nd,
3202 3203 3204 3205 3206 3207 3208
		   struct file *file, const struct open_flags *op)
{
	int open_flag = op->open_flag;
	bool do_truncate;
	int acc_mode;
	int error;

3209 3210 3211 3212 3213
	if (!(file->f_mode & (FMODE_OPENED | FMODE_CREATED))) {
		error = complete_walk(nd);
		if (error)
			return error;
	}
3214 3215
	if (!(file->f_mode & FMODE_CREATED))
		audit_inode(nd->name, nd->path.dentry, 0);
3216
	if (open_flag & O_CREAT) {
3217 3218
		if ((open_flag & O_EXCL) && !(file->f_mode & FMODE_CREATED))
			return -EEXIST;
3219
		if (d_is_dir(nd->path.dentry))
3220
			return -EISDIR;
3221
		error = may_create_in_sticky(nd->dir_mode, nd->dir_uid,
3222 3223
					     d_backing_inode(nd->path.dentry));
		if (unlikely(error))
3224
			return error;
3225
	}
M
Miklos Szeredi 已提交
3226
	if ((nd->flags & LOOKUP_DIRECTORY) && !d_can_lookup(nd->path.dentry))
3227
		return -ENOTDIR;
3228

3229 3230
	do_truncate = false;
	acc_mode = op->acc_mode;
3231 3232 3233 3234
	if (file->f_mode & FMODE_CREATED) {
		/* Don't check for write permission, don't truncate */
		open_flag &= ~O_TRUNC;
		acc_mode = 0;
3235
	} else if (d_is_reg(nd->path.dentry) && open_flag & O_TRUNC) {
3236 3237
		error = mnt_want_write(nd->path.mnt);
		if (error)
3238
			return error;
3239
		do_truncate = true;
3240
	}
3241
	error = may_open(&nd->path, acc_mode, open_flag);
3242
	if (!error && !(file->f_mode & FMODE_OPENED))
A
Al Viro 已提交
3243
		error = vfs_open(&nd->path, file);
3244 3245 3246
	if (!error)
		error = ima_file_check(file, op->acc_mode);
	if (!error && do_truncate)
3247
		error = handle_truncate(file);
3248 3249 3250 3251
	if (unlikely(error > 0)) {
		WARN_ON(1);
		error = -EINVAL;
	}
3252
	if (do_truncate)
3253
		mnt_drop_write(nd->path.mnt);
3254
	return error;
3255 3256
}

3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271
struct dentry *vfs_tmpfile(struct dentry *dentry, umode_t mode, int open_flag)
{
	struct dentry *child = NULL;
	struct inode *dir = dentry->d_inode;
	struct inode *inode;
	int error;

	/* we want directory to be writable */
	error = inode_permission(dir, MAY_WRITE | MAY_EXEC);
	if (error)
		goto out_err;
	error = -EOPNOTSUPP;
	if (!dir->i_op->tmpfile)
		goto out_err;
	error = -ENOMEM;
D
David Howells 已提交
3272
	child = d_alloc(dentry, &slash_name);
3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286
	if (unlikely(!child))
		goto out_err;
	error = dir->i_op->tmpfile(dir, child, mode);
	if (error)
		goto out_err;
	error = -ENOENT;
	inode = child->d_inode;
	if (unlikely(!inode))
		goto out_err;
	if (!(open_flag & O_EXCL)) {
		spin_lock(&inode->i_lock);
		inode->i_state |= I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
3287
	ima_post_create_tmpfile(inode);
3288 3289 3290 3291 3292 3293 3294 3295
	return child;

out_err:
	dput(child);
	return ERR_PTR(error);
}
EXPORT_SYMBOL(vfs_tmpfile);

3296
static int do_tmpfile(struct nameidata *nd, unsigned flags,
3297
		const struct open_flags *op,
3298
		struct file *file)
3299
{
3300 3301
	struct dentry *child;
	struct path path;
3302
	int error = path_lookupat(nd, flags | LOOKUP_DIRECTORY, &path);
3303 3304
	if (unlikely(error))
		return error;
3305
	error = mnt_want_write(path.mnt);
3306 3307
	if (unlikely(error))
		goto out;
3308 3309
	child = vfs_tmpfile(path.dentry, op->mode, op->open_flag);
	error = PTR_ERR(child);
3310
	if (IS_ERR(child))
3311
		goto out2;
3312 3313
	dput(path.dentry);
	path.dentry = child;
3314
	audit_inode(nd->name, child, 0);
3315
	/* Don't check for other permissions, the inode was just created */
A
Al Viro 已提交
3316
	error = may_open(&path, 0, op->open_flag);
3317 3318
	if (error)
		goto out2;
3319
	file->f_path.mnt = path.mnt;
3320
	error = finish_open(file, child, NULL);
3321
out2:
3322
	mnt_drop_write(path.mnt);
3323
out:
3324
	path_put(&path);
3325 3326 3327
	return error;
}

3328 3329 3330 3331 3332 3333
static int do_o_path(struct nameidata *nd, unsigned flags, struct file *file)
{
	struct path path;
	int error = path_lookupat(nd, flags, &path);
	if (!error) {
		audit_inode(nd->name, path.dentry, 0);
3334
		error = vfs_open(&path, file);
3335 3336 3337 3338 3339
		path_put(&path);
	}
	return error;
}

3340 3341
static struct file *path_openat(struct nameidata *nd,
			const struct open_flags *op, unsigned flags)
L
Linus Torvalds 已提交
3342
{
A
Al Viro 已提交
3343
	struct file *file;
3344
	int error;
N
Nick Piggin 已提交
3345

3346
	file = alloc_empty_file(op->open_flag, current_cred());
3347 3348
	if (IS_ERR(file))
		return file;
N
Nick Piggin 已提交
3349

A
Al Viro 已提交
3350
	if (unlikely(file->f_flags & __O_TMPFILE)) {
3351
		error = do_tmpfile(nd, flags, op, file);
3352
	} else if (unlikely(file->f_flags & O_PATH)) {
3353
		error = do_o_path(nd, flags, file);
3354 3355 3356
	} else {
		const char *s = path_init(nd, flags);
		while (!(error = link_path_walk(s, nd)) &&
3357
		       (s = open_last_lookups(nd, file, op)) != NULL)
3358
			;
3359 3360
		if (!error)
			error = do_open(nd, file, op);
3361
		terminate_walk(nd);
3362
	}
3363
	if (likely(!error)) {
3364
		if (likely(file->f_mode & FMODE_OPENED))
3365 3366 3367
			return file;
		WARN_ON(1);
		error = -EINVAL;
3368
	}
3369 3370 3371 3372 3373 3374
	fput(file);
	if (error == -EOPENSTALE) {
		if (flags & LOOKUP_RCU)
			error = -ECHILD;
		else
			error = -ESTALE;
3375
	}
3376
	return ERR_PTR(error);
L
Linus Torvalds 已提交
3377 3378
}

3379
struct file *do_filp_open(int dfd, struct filename *pathname,
3380
		const struct open_flags *op)
3381
{
3382
	struct nameidata nd;
3383
	int flags = op->lookup_flags;
3384 3385
	struct file *filp;

3386
	set_nameidata(&nd, dfd, pathname);
3387
	filp = path_openat(&nd, op, flags | LOOKUP_RCU);
3388
	if (unlikely(filp == ERR_PTR(-ECHILD)))
3389
		filp = path_openat(&nd, op, flags);
3390
	if (unlikely(filp == ERR_PTR(-ESTALE)))
3391
		filp = path_openat(&nd, op, flags | LOOKUP_REVAL);
3392
	restore_nameidata();
3393 3394 3395
	return filp;
}

A
Al Viro 已提交
3396
struct file *do_file_open_root(struct dentry *dentry, struct vfsmount *mnt,
3397
		const char *name, const struct open_flags *op)
A
Al Viro 已提交
3398
{
3399
	struct nameidata nd;
A
Al Viro 已提交
3400
	struct file *file;
3401
	struct filename *filename;
3402
	int flags = op->lookup_flags | LOOKUP_ROOT;
A
Al Viro 已提交
3403 3404 3405 3406

	nd.root.mnt = mnt;
	nd.root.dentry = dentry;

3407
	if (d_is_symlink(dentry) && op->intent & LOOKUP_OPEN)
A
Al Viro 已提交
3408 3409
		return ERR_PTR(-ELOOP);

3410
	filename = getname_kernel(name);
3411
	if (IS_ERR(filename))
3412 3413
		return ERR_CAST(filename);

3414
	set_nameidata(&nd, -1, filename);
3415
	file = path_openat(&nd, op, flags | LOOKUP_RCU);
A
Al Viro 已提交
3416
	if (unlikely(file == ERR_PTR(-ECHILD)))
3417
		file = path_openat(&nd, op, flags);
A
Al Viro 已提交
3418
	if (unlikely(file == ERR_PTR(-ESTALE)))
3419
		file = path_openat(&nd, op, flags | LOOKUP_REVAL);
3420
	restore_nameidata();
3421
	putname(filename);
A
Al Viro 已提交
3422 3423 3424
	return file;
}

3425
static struct dentry *filename_create(int dfd, struct filename *name,
3426
				struct path *path, unsigned int lookup_flags)
L
Linus Torvalds 已提交
3427
{
3428
	struct dentry *dentry = ERR_PTR(-EEXIST);
3429 3430
	struct qstr last;
	int type;
3431
	int err2;
3432 3433 3434 3435 3436 3437 3438 3439 3440
	int error;
	bool is_dir = (lookup_flags & LOOKUP_DIRECTORY);

	/*
	 * Note that only LOOKUP_REVAL and LOOKUP_DIRECTORY matter here. Any
	 * other flags passed in are ignored!
	 */
	lookup_flags &= LOOKUP_REVAL;

3441 3442 3443
	name = filename_parentat(dfd, name, lookup_flags, path, &last, &type);
	if (IS_ERR(name))
		return ERR_CAST(name);
L
Linus Torvalds 已提交
3444

3445 3446 3447 3448
	/*
	 * Yucky last component or no last component at all?
	 * (foo/., foo/.., /////)
	 */
3449
	if (unlikely(type != LAST_NORM))
A
Al Viro 已提交
3450
		goto out;
3451

3452
	/* don't fail immediately if it's r/o, at least try to report other errors */
3453
	err2 = mnt_want_write(path->mnt);
3454 3455 3456
	/*
	 * Do the final lookup.
	 */
3457
	lookup_flags |= LOOKUP_CREATE | LOOKUP_EXCL;
A
Al Viro 已提交
3458
	inode_lock_nested(path->dentry->d_inode, I_MUTEX_PARENT);
3459
	dentry = __lookup_hash(&last, path->dentry, lookup_flags);
L
Linus Torvalds 已提交
3460
	if (IS_ERR(dentry))
3461
		goto unlock;
3462

3463
	error = -EEXIST;
3464
	if (d_is_positive(dentry))
3465
		goto fail;
3466

3467 3468 3469 3470 3471 3472
	/*
	 * Special case - lookup gave negative, but... we had foo/bar/
	 * From the vfs_mknod() POV we just have a negative dentry -
	 * all is fine. Let's be bastards - you had / on the end, you've
	 * been asking for (non-existent) directory. -ENOENT for you.
	 */
3473
	if (unlikely(!is_dir && last.name[last.len])) {
3474
		error = -ENOENT;
A
Al Viro 已提交
3475
		goto fail;
3476
	}
3477 3478
	if (unlikely(err2)) {
		error = err2;
3479
		goto fail;
3480
	}
3481
	putname(name);
L
Linus Torvalds 已提交
3482 3483
	return dentry;
fail:
3484 3485 3486
	dput(dentry);
	dentry = ERR_PTR(error);
unlock:
A
Al Viro 已提交
3487
	inode_unlock(path->dentry->d_inode);
3488
	if (!err2)
3489
		mnt_drop_write(path->mnt);
A
Al Viro 已提交
3490
out:
3491
	path_put(path);
3492
	putname(name);
L
Linus Torvalds 已提交
3493 3494
	return dentry;
}
3495 3496 3497 3498

struct dentry *kern_path_create(int dfd, const char *pathname,
				struct path *path, unsigned int lookup_flags)
{
3499 3500
	return filename_create(dfd, getname_kernel(pathname),
				path, lookup_flags);
3501
}
3502 3503
EXPORT_SYMBOL(kern_path_create);

A
Al Viro 已提交
3504 3505 3506
void done_path_create(struct path *path, struct dentry *dentry)
{
	dput(dentry);
A
Al Viro 已提交
3507
	inode_unlock(path->dentry->d_inode);
3508
	mnt_drop_write(path->mnt);
A
Al Viro 已提交
3509 3510 3511 3512
	path_put(path);
}
EXPORT_SYMBOL(done_path_create);

A
Al Viro 已提交
3513
inline struct dentry *user_path_create(int dfd, const char __user *pathname,
3514
				struct path *path, unsigned int lookup_flags)
3515
{
3516
	return filename_create(dfd, getname(pathname), path, lookup_flags);
3517 3518 3519
}
EXPORT_SYMBOL(user_path_create);

A
Al Viro 已提交
3520
int vfs_mknod(struct inode *dir, struct dentry *dentry, umode_t mode, dev_t dev)
L
Linus Torvalds 已提交
3521
{
3522
	bool is_whiteout = S_ISCHR(mode) && dev == WHITEOUT_DEV;
3523
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3524 3525 3526 3527

	if (error)
		return error;

3528 3529
	if ((S_ISCHR(mode) || S_ISBLK(mode)) && !is_whiteout &&
	    !capable(CAP_MKNOD))
L
Linus Torvalds 已提交
3530 3531
		return -EPERM;

A
Al Viro 已提交
3532
	if (!dir->i_op->mknod)
L
Linus Torvalds 已提交
3533 3534
		return -EPERM;

3535 3536 3537 3538
	error = devcgroup_inode_mknod(mode, dev);
	if (error)
		return error;

L
Linus Torvalds 已提交
3539 3540 3541 3542 3543
	error = security_inode_mknod(dir, dentry, mode, dev);
	if (error)
		return error;

	error = dir->i_op->mknod(dir, dentry, mode, dev);
3544
	if (!error)
3545
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3546 3547
	return error;
}
3548
EXPORT_SYMBOL(vfs_mknod);
L
Linus Torvalds 已提交
3549

A
Al Viro 已提交
3550
static int may_mknod(umode_t mode)
3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566
{
	switch (mode & S_IFMT) {
	case S_IFREG:
	case S_IFCHR:
	case S_IFBLK:
	case S_IFIFO:
	case S_IFSOCK:
	case 0: /* zero mode translates to S_IFREG */
		return 0;
	case S_IFDIR:
		return -EPERM;
	default:
		return -EINVAL;
	}
}

3567 3568
long do_mknodat(int dfd, const char __user *filename, umode_t mode,
		unsigned int dev)
L
Linus Torvalds 已提交
3569
{
3570
	struct dentry *dentry;
3571 3572
	struct path path;
	int error;
3573
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3574

3575 3576 3577
	error = may_mknod(mode);
	if (error)
		return error;
3578 3579
retry:
	dentry = user_path_create(dfd, filename, &path, lookup_flags);
3580 3581
	if (IS_ERR(dentry))
		return PTR_ERR(dentry);
3582

3583
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3584
		mode &= ~current_umask();
3585
	error = security_path_mknod(&path, dentry, mode, dev);
3586
	if (error)
3587
		goto out;
3588
	switch (mode & S_IFMT) {
L
Linus Torvalds 已提交
3589
		case 0: case S_IFREG:
A
Al Viro 已提交
3590
			error = vfs_create(path.dentry->d_inode,dentry,mode,true);
3591 3592
			if (!error)
				ima_post_path_mknod(dentry);
L
Linus Torvalds 已提交
3593 3594
			break;
		case S_IFCHR: case S_IFBLK:
3595
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,
L
Linus Torvalds 已提交
3596 3597 3598
					new_decode_dev(dev));
			break;
		case S_IFIFO: case S_IFSOCK:
3599
			error = vfs_mknod(path.dentry->d_inode,dentry,mode,0);
L
Linus Torvalds 已提交
3600 3601
			break;
	}
3602
out:
A
Al Viro 已提交
3603
	done_path_create(&path, dentry);
3604 3605 3606 3607
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3608 3609 3610
	return error;
}

3611 3612 3613 3614 3615 3616
SYSCALL_DEFINE4(mknodat, int, dfd, const char __user *, filename, umode_t, mode,
		unsigned int, dev)
{
	return do_mknodat(dfd, filename, mode, dev);
}

A
Al Viro 已提交
3617
SYSCALL_DEFINE3(mknod, const char __user *, filename, umode_t, mode, unsigned, dev)
3618
{
3619
	return do_mknodat(AT_FDCWD, filename, mode, dev);
3620 3621
}

3622
int vfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode)
L
Linus Torvalds 已提交
3623
{
3624
	int error = may_create(dir, dentry);
3625
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
3626 3627 3628 3629

	if (error)
		return error;

A
Al Viro 已提交
3630
	if (!dir->i_op->mkdir)
L
Linus Torvalds 已提交
3631 3632 3633 3634 3635 3636 3637
		return -EPERM;

	mode &= (S_IRWXUGO|S_ISVTX);
	error = security_inode_mkdir(dir, dentry, mode);
	if (error)
		return error;

3638 3639 3640
	if (max_links && dir->i_nlink >= max_links)
		return -EMLINK;

L
Linus Torvalds 已提交
3641
	error = dir->i_op->mkdir(dir, dentry, mode);
3642
	if (!error)
3643
		fsnotify_mkdir(dir, dentry);
L
Linus Torvalds 已提交
3644 3645
	return error;
}
3646
EXPORT_SYMBOL(vfs_mkdir);
L
Linus Torvalds 已提交
3647

3648
long do_mkdirat(int dfd, const char __user *pathname, umode_t mode)
L
Linus Torvalds 已提交
3649
{
3650
	struct dentry *dentry;
3651 3652
	struct path path;
	int error;
3653
	unsigned int lookup_flags = LOOKUP_DIRECTORY;
L
Linus Torvalds 已提交
3654

3655 3656
retry:
	dentry = user_path_create(dfd, pathname, &path, lookup_flags);
3657
	if (IS_ERR(dentry))
3658
		return PTR_ERR(dentry);
L
Linus Torvalds 已提交
3659

3660
	if (!IS_POSIXACL(path.dentry->d_inode))
A
Al Viro 已提交
3661
		mode &= ~current_umask();
3662
	error = security_path_mkdir(&path, dentry, mode);
3663 3664
	if (!error)
		error = vfs_mkdir(path.dentry->d_inode, dentry, mode);
A
Al Viro 已提交
3665
	done_path_create(&path, dentry);
3666 3667 3668 3669
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3670 3671 3672
	return error;
}

3673 3674 3675 3676 3677
SYSCALL_DEFINE3(mkdirat, int, dfd, const char __user *, pathname, umode_t, mode)
{
	return do_mkdirat(dfd, pathname, mode);
}

3678
SYSCALL_DEFINE2(mkdir, const char __user *, pathname, umode_t, mode)
3679
{
3680
	return do_mkdirat(AT_FDCWD, pathname, mode);
3681 3682
}

L
Linus Torvalds 已提交
3683 3684 3685 3686 3687 3688 3689
int vfs_rmdir(struct inode *dir, struct dentry *dentry)
{
	int error = may_delete(dir, dentry, 1);

	if (error)
		return error;

A
Al Viro 已提交
3690
	if (!dir->i_op->rmdir)
L
Linus Torvalds 已提交
3691 3692
		return -EPERM;

3693
	dget(dentry);
A
Al Viro 已提交
3694
	inode_lock(dentry->d_inode);
S
Sage Weil 已提交
3695 3696

	error = -EBUSY;
3697
	if (is_local_mountpoint(dentry))
S
Sage Weil 已提交
3698 3699 3700 3701 3702 3703 3704 3705 3706 3707
		goto out;

	error = security_inode_rmdir(dir, dentry);
	if (error)
		goto out;

	error = dir->i_op->rmdir(dir, dentry);
	if (error)
		goto out;

3708
	shrink_dcache_parent(dentry);
S
Sage Weil 已提交
3709 3710
	dentry->d_inode->i_flags |= S_DEAD;
	dont_mount(dentry);
3711
	detach_mounts(dentry);
3712
	fsnotify_rmdir(dir, dentry);
S
Sage Weil 已提交
3713 3714

out:
A
Al Viro 已提交
3715
	inode_unlock(dentry->d_inode);
3716
	dput(dentry);
S
Sage Weil 已提交
3717
	if (!error)
L
Linus Torvalds 已提交
3718 3719 3720
		d_delete(dentry);
	return error;
}
3721
EXPORT_SYMBOL(vfs_rmdir);
L
Linus Torvalds 已提交
3722

3723
long do_rmdir(int dfd, struct filename *name)
L
Linus Torvalds 已提交
3724 3725 3726
{
	int error = 0;
	struct dentry *dentry;
3727 3728 3729
	struct path path;
	struct qstr last;
	int type;
3730 3731
	unsigned int lookup_flags = 0;
retry:
3732
	name = filename_parentat(dfd, name, lookup_flags,
A
Al Viro 已提交
3733
				&path, &last, &type);
3734 3735
	if (IS_ERR(name))
		return PTR_ERR(name);
L
Linus Torvalds 已提交
3736

3737
	switch (type) {
3738 3739 3740 3741 3742 3743 3744 3745 3746
	case LAST_DOTDOT:
		error = -ENOTEMPTY;
		goto exit1;
	case LAST_DOT:
		error = -EINVAL;
		goto exit1;
	case LAST_ROOT:
		error = -EBUSY;
		goto exit1;
L
Linus Torvalds 已提交
3747
	}
3748

3749
	error = mnt_want_write(path.mnt);
3750 3751
	if (error)
		goto exit1;
3752

A
Al Viro 已提交
3753
	inode_lock_nested(path.dentry->d_inode, I_MUTEX_PARENT);
3754
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3755
	error = PTR_ERR(dentry);
3756 3757
	if (IS_ERR(dentry))
		goto exit2;
3758 3759 3760 3761
	if (!dentry->d_inode) {
		error = -ENOENT;
		goto exit3;
	}
3762
	error = security_path_rmdir(&path, dentry);
3763
	if (error)
3764
		goto exit3;
3765
	error = vfs_rmdir(path.dentry->d_inode, dentry);
3766
exit3:
3767 3768
	dput(dentry);
exit2:
A
Al Viro 已提交
3769
	inode_unlock(path.dentry->d_inode);
3770
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3771
exit1:
3772
	path_put(&path);
L
Linus Torvalds 已提交
3773
	putname(name);
3774 3775 3776 3777
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
3778 3779 3780
	return error;
}

3781
SYSCALL_DEFINE1(rmdir, const char __user *, pathname)
3782
{
3783
	return do_rmdir(AT_FDCWD, getname(pathname));
3784 3785
}

3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804
/**
 * vfs_unlink - unlink a filesystem object
 * @dir:	parent directory
 * @dentry:	victim
 * @delegated_inode: returns victim inode, if the inode is delegated.
 *
 * The caller must hold dir->i_mutex.
 *
 * If vfs_unlink discovers a delegation, it will return -EWOULDBLOCK and
 * return a reference to the inode in delegated_inode.  The caller
 * should then break the delegation on that inode and retry.  Because
 * breaking a delegation may take a long time, the caller should drop
 * dir->i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_unlink(struct inode *dir, struct dentry *dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
3805
{
J
J. Bruce Fields 已提交
3806
	struct inode *target = dentry->d_inode;
L
Linus Torvalds 已提交
3807 3808 3809 3810 3811
	int error = may_delete(dir, dentry, 0);

	if (error)
		return error;

A
Al Viro 已提交
3812
	if (!dir->i_op->unlink)
L
Linus Torvalds 已提交
3813 3814
		return -EPERM;

A
Al Viro 已提交
3815
	inode_lock(target);
3816
	if (is_local_mountpoint(dentry))
L
Linus Torvalds 已提交
3817 3818 3819
		error = -EBUSY;
	else {
		error = security_inode_unlink(dir, dentry);
3820
		if (!error) {
3821 3822
			error = try_break_deleg(target, delegated_inode);
			if (error)
3823
				goto out;
L
Linus Torvalds 已提交
3824
			error = dir->i_op->unlink(dir, dentry);
3825
			if (!error) {
3826
				dont_mount(dentry);
3827
				detach_mounts(dentry);
3828
				fsnotify_unlink(dir, dentry);
3829
			}
3830
		}
L
Linus Torvalds 已提交
3831
	}
3832
out:
A
Al Viro 已提交
3833
	inode_unlock(target);
L
Linus Torvalds 已提交
3834 3835 3836

	/* We don't d_delete() NFS sillyrenamed files--they still exist. */
	if (!error && !(dentry->d_flags & DCACHE_NFSFS_RENAMED)) {
J
J. Bruce Fields 已提交
3837
		fsnotify_link_count(target);
J
John McCutchan 已提交
3838
		d_delete(dentry);
L
Linus Torvalds 已提交
3839
	}
R
Robert Love 已提交
3840

L
Linus Torvalds 已提交
3841 3842
	return error;
}
3843
EXPORT_SYMBOL(vfs_unlink);
L
Linus Torvalds 已提交
3844 3845 3846

/*
 * Make sure that the actual truncation of the file will occur outside its
3847
 * directory's i_mutex.  Truncate can take a long time if there is a lot of
L
Linus Torvalds 已提交
3848 3849 3850
 * writeout happening, and we don't want to prevent access to the directory
 * while waiting on the I/O.
 */
3851
long do_unlinkat(int dfd, struct filename *name)
L
Linus Torvalds 已提交
3852
{
3853
	int error;
L
Linus Torvalds 已提交
3854
	struct dentry *dentry;
3855 3856 3857
	struct path path;
	struct qstr last;
	int type;
L
Linus Torvalds 已提交
3858
	struct inode *inode = NULL;
3859
	struct inode *delegated_inode = NULL;
3860 3861
	unsigned int lookup_flags = 0;
retry:
3862
	name = filename_parentat(dfd, name, lookup_flags, &path, &last, &type);
3863 3864
	if (IS_ERR(name))
		return PTR_ERR(name);
3865

L
Linus Torvalds 已提交
3866
	error = -EISDIR;
3867
	if (type != LAST_NORM)
L
Linus Torvalds 已提交
3868
		goto exit1;
3869

3870
	error = mnt_want_write(path.mnt);
3871 3872
	if (error)
		goto exit1;
3873
retry_deleg:
A
Al Viro 已提交
3874
	inode_lock_nested(path.dentry->d_inode, I_MUTEX_PARENT);
3875
	dentry = __lookup_hash(&last, path.dentry, lookup_flags);
L
Linus Torvalds 已提交
3876 3877 3878
	error = PTR_ERR(dentry);
	if (!IS_ERR(dentry)) {
		/* Why not before? Because we want correct error value */
3879
		if (last.name[last.len])
3880
			goto slashes;
L
Linus Torvalds 已提交
3881
		inode = dentry->d_inode;
3882
		if (d_is_negative(dentry))
3883 3884
			goto slashes;
		ihold(inode);
3885
		error = security_path_unlink(&path, dentry);
3886
		if (error)
3887
			goto exit2;
3888
		error = vfs_unlink(path.dentry->d_inode, dentry, &delegated_inode);
3889
exit2:
L
Linus Torvalds 已提交
3890 3891
		dput(dentry);
	}
A
Al Viro 已提交
3892
	inode_unlock(path.dentry->d_inode);
L
Linus Torvalds 已提交
3893 3894
	if (inode)
		iput(inode);	/* truncate the inode here */
3895 3896
	inode = NULL;
	if (delegated_inode) {
3897
		error = break_deleg_wait(&delegated_inode);
3898 3899 3900
		if (!error)
			goto retry_deleg;
	}
3901
	mnt_drop_write(path.mnt);
L
Linus Torvalds 已提交
3902
exit1:
3903
	path_put(&path);
3904 3905 3906 3907 3908
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		inode = NULL;
		goto retry;
	}
3909
	putname(name);
L
Linus Torvalds 已提交
3910 3911 3912
	return error;

slashes:
3913 3914
	if (d_is_negative(dentry))
		error = -ENOENT;
M
Miklos Szeredi 已提交
3915
	else if (d_is_dir(dentry))
3916 3917 3918
		error = -EISDIR;
	else
		error = -ENOTDIR;
L
Linus Torvalds 已提交
3919 3920 3921
	goto exit2;
}

3922
SYSCALL_DEFINE3(unlinkat, int, dfd, const char __user *, pathname, int, flag)
3923 3924 3925 3926 3927
{
	if ((flag & ~AT_REMOVEDIR) != 0)
		return -EINVAL;

	if (flag & AT_REMOVEDIR)
3928
		return do_rmdir(dfd, getname(pathname));
3929
	return do_unlinkat(dfd, getname(pathname));
3930 3931
}

3932
SYSCALL_DEFINE1(unlink, const char __user *, pathname)
3933
{
3934
	return do_unlinkat(AT_FDCWD, getname(pathname));
3935 3936
}

3937
int vfs_symlink(struct inode *dir, struct dentry *dentry, const char *oldname)
L
Linus Torvalds 已提交
3938
{
3939
	int error = may_create(dir, dentry);
L
Linus Torvalds 已提交
3940 3941 3942 3943

	if (error)
		return error;

A
Al Viro 已提交
3944
	if (!dir->i_op->symlink)
L
Linus Torvalds 已提交
3945 3946 3947 3948 3949 3950 3951
		return -EPERM;

	error = security_inode_symlink(dir, dentry, oldname);
	if (error)
		return error;

	error = dir->i_op->symlink(dir, dentry, oldname);
3952
	if (!error)
3953
		fsnotify_create(dir, dentry);
L
Linus Torvalds 已提交
3954 3955
	return error;
}
3956
EXPORT_SYMBOL(vfs_symlink);
L
Linus Torvalds 已提交
3957

3958 3959
long do_symlinkat(const char __user *oldname, int newdfd,
		  const char __user *newname)
L
Linus Torvalds 已提交
3960
{
3961
	int error;
3962
	struct filename *from;
3963
	struct dentry *dentry;
3964
	struct path path;
3965
	unsigned int lookup_flags = 0;
L
Linus Torvalds 已提交
3966 3967

	from = getname(oldname);
3968
	if (IS_ERR(from))
L
Linus Torvalds 已提交
3969
		return PTR_ERR(from);
3970 3971
retry:
	dentry = user_path_create(newdfd, newname, &path, lookup_flags);
3972 3973
	error = PTR_ERR(dentry);
	if (IS_ERR(dentry))
3974
		goto out_putname;
3975

3976
	error = security_path_symlink(&path, dentry, from->name);
3977
	if (!error)
3978
		error = vfs_symlink(path.dentry->d_inode, dentry, from->name);
A
Al Viro 已提交
3979
	done_path_create(&path, dentry);
3980 3981 3982 3983
	if (retry_estale(error, lookup_flags)) {
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
3984
out_putname:
L
Linus Torvalds 已提交
3985 3986 3987 3988
	putname(from);
	return error;
}

3989 3990 3991 3992 3993 3994
SYSCALL_DEFINE3(symlinkat, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
	return do_symlinkat(oldname, newdfd, newname);
}

3995
SYSCALL_DEFINE2(symlink, const char __user *, oldname, const char __user *, newname)
3996
{
3997
	return do_symlinkat(oldname, AT_FDCWD, newname);
3998 3999
}

J
J. Bruce Fields 已提交
4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019
/**
 * vfs_link - create a new link
 * @old_dentry:	object to be linked
 * @dir:	new parent
 * @new_dentry:	where to create the new link
 * @delegated_inode: returns inode needing a delegation break
 *
 * The caller must hold dir->i_mutex
 *
 * If vfs_link discovers a delegation on the to-be-linked file in need
 * of breaking, it will return -EWOULDBLOCK and return a reference to the
 * inode in delegated_inode.  The caller should then break the delegation
 * and retry.  Because breaking a delegation may take a long time, the
 * caller should drop the i_mutex before doing so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 */
int vfs_link(struct dentry *old_dentry, struct inode *dir, struct dentry *new_dentry, struct inode **delegated_inode)
L
Linus Torvalds 已提交
4020 4021
{
	struct inode *inode = old_dentry->d_inode;
4022
	unsigned max_links = dir->i_sb->s_max_links;
L
Linus Torvalds 已提交
4023 4024 4025 4026 4027
	int error;

	if (!inode)
		return -ENOENT;

4028
	error = may_create(dir, new_dentry);
L
Linus Torvalds 已提交
4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039
	if (error)
		return error;

	if (dir->i_sb != inode->i_sb)
		return -EXDEV;

	/*
	 * A link to an append-only or immutable file cannot be created.
	 */
	if (IS_APPEND(inode) || IS_IMMUTABLE(inode))
		return -EPERM;
4040 4041 4042 4043 4044 4045 4046
	/*
	 * Updating the link count will likely cause i_uid and i_gid to
	 * be writen back improperly if their true value is unknown to
	 * the vfs.
	 */
	if (HAS_UNMAPPED_ID(inode))
		return -EPERM;
A
Al Viro 已提交
4047
	if (!dir->i_op->link)
L
Linus Torvalds 已提交
4048
		return -EPERM;
4049
	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
4050 4051 4052 4053 4054 4055
		return -EPERM;

	error = security_inode_link(old_dentry, dir, new_dentry);
	if (error)
		return error;

A
Al Viro 已提交
4056
	inode_lock(inode);
4057
	/* Make sure we don't allow creating hardlink to an unlinked file */
4058
	if (inode->i_nlink == 0 && !(inode->i_state & I_LINKABLE))
4059
		error =  -ENOENT;
4060 4061
	else if (max_links && inode->i_nlink >= max_links)
		error = -EMLINK;
J
J. Bruce Fields 已提交
4062 4063 4064 4065 4066
	else {
		error = try_break_deleg(inode, delegated_inode);
		if (!error)
			error = dir->i_op->link(old_dentry, dir, new_dentry);
	}
4067 4068 4069 4070 4071 4072

	if (!error && (inode->i_state & I_LINKABLE)) {
		spin_lock(&inode->i_lock);
		inode->i_state &= ~I_LINKABLE;
		spin_unlock(&inode->i_lock);
	}
A
Al Viro 已提交
4073
	inode_unlock(inode);
4074
	if (!error)
4075
		fsnotify_link(dir, inode, new_dentry);
L
Linus Torvalds 已提交
4076 4077
	return error;
}
4078
EXPORT_SYMBOL(vfs_link);
L
Linus Torvalds 已提交
4079 4080 4081 4082 4083 4084 4085 4086 4087 4088

/*
 * Hardlinks are often used in delicate situations.  We avoid
 * security-related surprises by not following symlinks on the
 * newname.  --KAB
 *
 * We don't follow them on the oldname either to be compatible
 * with linux 2.0, and to avoid hard-linking to directories
 * and other special files.  --ADM
 */
4089
static int do_linkat(int olddfd, const char __user *oldname, int newdfd,
4090
	      const char __user *newname, int flags)
L
Linus Torvalds 已提交
4091 4092
{
	struct dentry *new_dentry;
4093
	struct path old_path, new_path;
J
J. Bruce Fields 已提交
4094
	struct inode *delegated_inode = NULL;
4095
	int how = 0;
L
Linus Torvalds 已提交
4096 4097
	int error;

4098
	if ((flags & ~(AT_SYMLINK_FOLLOW | AT_EMPTY_PATH)) != 0)
4099
		return -EINVAL;
4100
	/*
4101 4102 4103
	 * To use null names we require CAP_DAC_READ_SEARCH
	 * This ensures that not everyone will be able to create
	 * handlink using the passed filedescriptor.
4104
	 */
4105 4106 4107
	if (flags & AT_EMPTY_PATH) {
		if (!capable(CAP_DAC_READ_SEARCH))
			return -ENOENT;
4108
		how = LOOKUP_EMPTY;
4109
	}
4110 4111 4112

	if (flags & AT_SYMLINK_FOLLOW)
		how |= LOOKUP_FOLLOW;
4113
retry:
4114
	error = user_path_at(olddfd, oldname, how, &old_path);
L
Linus Torvalds 已提交
4115
	if (error)
4116 4117
		return error;

4118 4119
	new_dentry = user_path_create(newdfd, newname, &new_path,
					(how & LOOKUP_REVAL));
L
Linus Torvalds 已提交
4120
	error = PTR_ERR(new_dentry);
4121
	if (IS_ERR(new_dentry))
4122 4123 4124 4125 4126
		goto out;

	error = -EXDEV;
	if (old_path.mnt != new_path.mnt)
		goto out_dput;
K
Kees Cook 已提交
4127 4128 4129
	error = may_linkat(&old_path);
	if (unlikely(error))
		goto out_dput;
4130
	error = security_path_link(old_path.dentry, &new_path, new_dentry);
4131
	if (error)
4132
		goto out_dput;
J
J. Bruce Fields 已提交
4133
	error = vfs_link(old_path.dentry, new_path.dentry->d_inode, new_dentry, &delegated_inode);
4134
out_dput:
A
Al Viro 已提交
4135
	done_path_create(&new_path, new_dentry);
J
J. Bruce Fields 已提交
4136 4137
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
4138 4139
		if (!error) {
			path_put(&old_path);
J
J. Bruce Fields 已提交
4140
			goto retry;
4141
		}
J
J. Bruce Fields 已提交
4142
	}
4143
	if (retry_estale(error, how)) {
4144
		path_put(&old_path);
4145 4146 4147
		how |= LOOKUP_REVAL;
		goto retry;
	}
L
Linus Torvalds 已提交
4148
out:
4149
	path_put(&old_path);
L
Linus Torvalds 已提交
4150 4151 4152 4153

	return error;
}

4154 4155 4156 4157 4158 4159
SYSCALL_DEFINE5(linkat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, int, flags)
{
	return do_linkat(olddfd, oldname, newdfd, newname, flags);
}

4160
SYSCALL_DEFINE2(link, const char __user *, oldname, const char __user *, newname)
4161
{
4162
	return do_linkat(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4163 4164
}

4165 4166 4167 4168 4169 4170 4171
/**
 * vfs_rename - rename a filesystem object
 * @old_dir:	parent of source
 * @old_dentry:	source
 * @new_dir:	parent of destination
 * @new_dentry:	destination
 * @delegated_inode: returns an inode needing a delegation break
M
Miklos Szeredi 已提交
4172
 * @flags:	rename flags
4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186
 *
 * The caller must hold multiple mutexes--see lock_rename()).
 *
 * If vfs_rename discovers a delegation in need of breaking at either
 * the source or destination, it will return -EWOULDBLOCK and return a
 * reference to the inode in delegated_inode.  The caller should then
 * break the delegation and retry.  Because breaking a delegation may
 * take a long time, the caller should drop all locks before doing
 * so.
 *
 * Alternatively, a caller may pass NULL for delegated_inode.  This may
 * be appropriate for callers that expect the underlying filesystem not
 * to be NFS exported.
 *
L
Linus Torvalds 已提交
4187 4188 4189
 * The worst of all namespace operations - renaming directory. "Perverted"
 * doesn't even start to describe it. Somebody in UCB had a heck of a trip...
 * Problems:
4190
 *
4191
 *	a) we can get into loop creation.
L
Linus Torvalds 已提交
4192 4193
 *	b) race potential - two innocent renames can create a loop together.
 *	   That's where 4.4 screws up. Current fix: serialization on
4194
 *	   sb->s_vfs_rename_mutex. We might be more accurate, but that's another
L
Linus Torvalds 已提交
4195
 *	   story.
4196 4197
 *	c) we have to lock _four_ objects - parents and victim (if it exists),
 *	   and source (if it is not a directory).
4198
 *	   And that - after we got ->i_mutex on parents (until then we don't know
L
Linus Torvalds 已提交
4199 4200
 *	   whether the target exists).  Solution: try to be smart with locking
 *	   order for inodes.  We rely on the fact that tree topology may change
4201
 *	   only under ->s_vfs_rename_mutex _and_ that parent of the object we
L
Linus Torvalds 已提交
4202 4203 4204
 *	   move will be locked.  Thus we can rank directories by the tree
 *	   (ancestors first) and rank all non-directories after them.
 *	   That works since everybody except rename does "lock parent, lookup,
4205
 *	   lock child" and rename is under ->s_vfs_rename_mutex.
L
Linus Torvalds 已提交
4206 4207 4208
 *	   HOWEVER, it relies on the assumption that any object with ->lookup()
 *	   has no more than 1 dentry.  If "hybrid" objects will ever appear,
 *	   we'd better make sure that there's no link(2) for them.
4209
 *	d) conversion from fhandle to dentry may come in the wrong moment - when
4210
 *	   we are removing the target. Solution: we will have to grab ->i_mutex
L
Linus Torvalds 已提交
4211
 *	   in the fhandle_to_dentry code. [FIXME - current nfsfh.c relies on
4212
 *	   ->i_mutex on parents, which works but leads to some truly excessive
L
Linus Torvalds 已提交
4213 4214
 *	   locking].
 */
4215 4216
int vfs_rename(struct inode *old_dir, struct dentry *old_dentry,
	       struct inode *new_dir, struct dentry *new_dentry,
M
Miklos Szeredi 已提交
4217
	       struct inode **delegated_inode, unsigned int flags)
L
Linus Torvalds 已提交
4218
{
4219 4220 4221
	int error;
	bool is_dir = d_is_dir(old_dentry);
	struct inode *source = old_dentry->d_inode;
S
Sage Weil 已提交
4222
	struct inode *target = new_dentry->d_inode;
M
Miklos Szeredi 已提交
4223 4224
	bool new_is_dir = false;
	unsigned max_links = new_dir->i_sb->s_max_links;
A
Al Viro 已提交
4225
	struct name_snapshot old_name;
4226

4227
	if (source == target)
4228 4229 4230 4231 4232 4233
		return 0;

	error = may_delete(old_dir, old_dentry, is_dir);
	if (error)
		return error;

M
Miklos Szeredi 已提交
4234
	if (!target) {
4235
		error = may_create(new_dir, new_dentry);
M
Miklos Szeredi 已提交
4236 4237 4238 4239 4240 4241 4242 4243
	} else {
		new_is_dir = d_is_dir(new_dentry);

		if (!(flags & RENAME_EXCHANGE))
			error = may_delete(new_dir, new_dentry, is_dir);
		else
			error = may_delete(new_dir, new_dentry, new_is_dir);
	}
4244 4245 4246
	if (error)
		return error;

4247
	if (!old_dir->i_op->rename)
4248
		return -EPERM;
L
Linus Torvalds 已提交
4249 4250 4251 4252 4253

	/*
	 * If we are going to change the parent - check write permissions,
	 * we'll need to flip '..'.
	 */
M
Miklos Szeredi 已提交
4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264
	if (new_dir != old_dir) {
		if (is_dir) {
			error = inode_permission(source, MAY_WRITE);
			if (error)
				return error;
		}
		if ((flags & RENAME_EXCHANGE) && new_is_dir) {
			error = inode_permission(target, MAY_WRITE);
			if (error)
				return error;
		}
L
Linus Torvalds 已提交
4265 4266
	}

4267 4268
	error = security_inode_rename(old_dir, old_dentry, new_dir, new_dentry,
				      flags);
L
Linus Torvalds 已提交
4269 4270 4271
	if (error)
		return error;

A
Al Viro 已提交
4272
	take_dentry_name_snapshot(&old_name, old_dentry);
4273
	dget(new_dentry);
M
Miklos Szeredi 已提交
4274
	if (!is_dir || (flags & RENAME_EXCHANGE))
4275 4276
		lock_two_nondirectories(source, target);
	else if (target)
A
Al Viro 已提交
4277
		inode_lock(target);
S
Sage Weil 已提交
4278 4279

	error = -EBUSY;
4280
	if (is_local_mountpoint(old_dentry) || is_local_mountpoint(new_dentry))
S
Sage Weil 已提交
4281 4282
		goto out;

M
Miklos Szeredi 已提交
4283
	if (max_links && new_dir != old_dir) {
4284
		error = -EMLINK;
M
Miklos Szeredi 已提交
4285
		if (is_dir && !new_is_dir && new_dir->i_nlink >= max_links)
4286
			goto out;
M
Miklos Szeredi 已提交
4287 4288 4289 4290 4291
		if ((flags & RENAME_EXCHANGE) && !is_dir && new_is_dir &&
		    old_dir->i_nlink >= max_links)
			goto out;
	}
	if (!is_dir) {
4292
		error = try_break_deleg(source, delegated_inode);
4293 4294
		if (error)
			goto out;
M
Miklos Szeredi 已提交
4295 4296 4297 4298 4299
	}
	if (target && !new_is_dir) {
		error = try_break_deleg(target, delegated_inode);
		if (error)
			goto out;
4300
	}
4301
	error = old_dir->i_op->rename(old_dir, old_dentry,
M
Miklos Szeredi 已提交
4302
				       new_dir, new_dentry, flags);
S
Sage Weil 已提交
4303 4304 4305
	if (error)
		goto out;

M
Miklos Szeredi 已提交
4306
	if (!(flags & RENAME_EXCHANGE) && target) {
4307 4308
		if (is_dir) {
			shrink_dcache_parent(new_dentry);
4309
			target->i_flags |= S_DEAD;
4310
		}
S
Sage Weil 已提交
4311
		dont_mount(new_dentry);
4312
		detach_mounts(new_dentry);
4313
	}
M
Miklos Szeredi 已提交
4314 4315 4316 4317 4318 4319
	if (!(old_dir->i_sb->s_type->fs_flags & FS_RENAME_DOES_D_MOVE)) {
		if (!(flags & RENAME_EXCHANGE))
			d_move(old_dentry, new_dentry);
		else
			d_exchange(old_dentry, new_dentry);
	}
S
Sage Weil 已提交
4320
out:
M
Miklos Szeredi 已提交
4321
	if (!is_dir || (flags & RENAME_EXCHANGE))
4322 4323
		unlock_two_nondirectories(source, target);
	else if (target)
A
Al Viro 已提交
4324
		inode_unlock(target);
L
Linus Torvalds 已提交
4325
	dput(new_dentry);
M
Miklos Szeredi 已提交
4326
	if (!error) {
4327
		fsnotify_move(old_dir, new_dir, &old_name.name, is_dir,
M
Miklos Szeredi 已提交
4328 4329
			      !(flags & RENAME_EXCHANGE) ? target : NULL, old_dentry);
		if (flags & RENAME_EXCHANGE) {
4330
			fsnotify_move(new_dir, old_dir, &old_dentry->d_name,
M
Miklos Szeredi 已提交
4331 4332 4333
				      new_is_dir, NULL, new_dentry);
		}
	}
A
Al Viro 已提交
4334
	release_dentry_name_snapshot(&old_name);
R
Robert Love 已提交
4335

L
Linus Torvalds 已提交
4336 4337
	return error;
}
4338
EXPORT_SYMBOL(vfs_rename);
L
Linus Torvalds 已提交
4339

4340 4341
static int do_renameat2(int olddfd, const char __user *oldname, int newdfd,
			const char __user *newname, unsigned int flags)
L
Linus Torvalds 已提交
4342
{
4343 4344
	struct dentry *old_dentry, *new_dentry;
	struct dentry *trap;
4345 4346 4347
	struct path old_path, new_path;
	struct qstr old_last, new_last;
	int old_type, new_type;
4348
	struct inode *delegated_inode = NULL;
4349 4350
	struct filename *from;
	struct filename *to;
4351
	unsigned int lookup_flags = 0, target_flags = LOOKUP_RENAME_TARGET;
4352
	bool should_retry = false;
4353
	int error;
M
Miklos Szeredi 已提交
4354

M
Miklos Szeredi 已提交
4355
	if (flags & ~(RENAME_NOREPLACE | RENAME_EXCHANGE | RENAME_WHITEOUT))
M
Miklos Szeredi 已提交
4356 4357
		return -EINVAL;

M
Miklos Szeredi 已提交
4358 4359
	if ((flags & (RENAME_NOREPLACE | RENAME_WHITEOUT)) &&
	    (flags & RENAME_EXCHANGE))
M
Miklos Szeredi 已提交
4360 4361
		return -EINVAL;

4362 4363 4364
	if (flags & RENAME_EXCHANGE)
		target_flags = 0;

4365
retry:
A
Al Viro 已提交
4366 4367
	from = filename_parentat(olddfd, getname(oldname), lookup_flags,
				&old_path, &old_last, &old_type);
4368 4369
	if (IS_ERR(from)) {
		error = PTR_ERR(from);
L
Linus Torvalds 已提交
4370
		goto exit;
4371
	}
L
Linus Torvalds 已提交
4372

A
Al Viro 已提交
4373 4374
	to = filename_parentat(newdfd, getname(newname), lookup_flags,
				&new_path, &new_last, &new_type);
4375 4376
	if (IS_ERR(to)) {
		error = PTR_ERR(to);
L
Linus Torvalds 已提交
4377
		goto exit1;
4378
	}
L
Linus Torvalds 已提交
4379 4380

	error = -EXDEV;
4381
	if (old_path.mnt != new_path.mnt)
L
Linus Torvalds 已提交
4382 4383 4384
		goto exit2;

	error = -EBUSY;
4385
	if (old_type != LAST_NORM)
L
Linus Torvalds 已提交
4386 4387
		goto exit2;

M
Miklos Szeredi 已提交
4388 4389
	if (flags & RENAME_NOREPLACE)
		error = -EEXIST;
4390
	if (new_type != LAST_NORM)
L
Linus Torvalds 已提交
4391 4392
		goto exit2;

4393
	error = mnt_want_write(old_path.mnt);
4394 4395 4396
	if (error)
		goto exit2;

4397
retry_deleg:
4398
	trap = lock_rename(new_path.dentry, old_path.dentry);
L
Linus Torvalds 已提交
4399

4400
	old_dentry = __lookup_hash(&old_last, old_path.dentry, lookup_flags);
L
Linus Torvalds 已提交
4401 4402 4403 4404 4405
	error = PTR_ERR(old_dentry);
	if (IS_ERR(old_dentry))
		goto exit3;
	/* source must exist */
	error = -ENOENT;
4406
	if (d_is_negative(old_dentry))
L
Linus Torvalds 已提交
4407
		goto exit4;
4408
	new_dentry = __lookup_hash(&new_last, new_path.dentry, lookup_flags | target_flags);
M
Miklos Szeredi 已提交
4409 4410 4411 4412 4413 4414
	error = PTR_ERR(new_dentry);
	if (IS_ERR(new_dentry))
		goto exit4;
	error = -EEXIST;
	if ((flags & RENAME_NOREPLACE) && d_is_positive(new_dentry))
		goto exit5;
M
Miklos Szeredi 已提交
4415 4416 4417 4418 4419 4420 4421
	if (flags & RENAME_EXCHANGE) {
		error = -ENOENT;
		if (d_is_negative(new_dentry))
			goto exit5;

		if (!d_is_dir(new_dentry)) {
			error = -ENOTDIR;
4422
			if (new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4423 4424 4425
				goto exit5;
		}
	}
L
Linus Torvalds 已提交
4426
	/* unless the source is a directory trailing slashes give -ENOTDIR */
M
Miklos Szeredi 已提交
4427
	if (!d_is_dir(old_dentry)) {
L
Linus Torvalds 已提交
4428
		error = -ENOTDIR;
4429
		if (old_last.name[old_last.len])
M
Miklos Szeredi 已提交
4430
			goto exit5;
4431
		if (!(flags & RENAME_EXCHANGE) && new_last.name[new_last.len])
M
Miklos Szeredi 已提交
4432
			goto exit5;
L
Linus Torvalds 已提交
4433 4434 4435 4436
	}
	/* source should not be ancestor of target */
	error = -EINVAL;
	if (old_dentry == trap)
M
Miklos Szeredi 已提交
4437
		goto exit5;
L
Linus Torvalds 已提交
4438
	/* target should not be an ancestor of source */
M
Miklos Szeredi 已提交
4439 4440
	if (!(flags & RENAME_EXCHANGE))
		error = -ENOTEMPTY;
L
Linus Torvalds 已提交
4441 4442 4443
	if (new_dentry == trap)
		goto exit5;

4444 4445
	error = security_path_rename(&old_path, old_dentry,
				     &new_path, new_dentry, flags);
4446
	if (error)
4447
		goto exit5;
4448 4449
	error = vfs_rename(old_path.dentry->d_inode, old_dentry,
			   new_path.dentry->d_inode, new_dentry,
M
Miklos Szeredi 已提交
4450
			   &delegated_inode, flags);
L
Linus Torvalds 已提交
4451 4452 4453 4454 4455
exit5:
	dput(new_dentry);
exit4:
	dput(old_dentry);
exit3:
4456
	unlock_rename(new_path.dentry, old_path.dentry);
4457 4458 4459 4460 4461
	if (delegated_inode) {
		error = break_deleg_wait(&delegated_inode);
		if (!error)
			goto retry_deleg;
	}
4462
	mnt_drop_write(old_path.mnt);
L
Linus Torvalds 已提交
4463
exit2:
4464 4465
	if (retry_estale(error, lookup_flags))
		should_retry = true;
4466
	path_put(&new_path);
4467
	putname(to);
L
Linus Torvalds 已提交
4468
exit1:
4469
	path_put(&old_path);
L
Linus Torvalds 已提交
4470
	putname(from);
4471 4472 4473 4474 4475
	if (should_retry) {
		should_retry = false;
		lookup_flags |= LOOKUP_REVAL;
		goto retry;
	}
4476
exit:
L
Linus Torvalds 已提交
4477 4478 4479
	return error;
}

4480 4481 4482 4483 4484 4485
SYSCALL_DEFINE5(renameat2, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname, unsigned int, flags)
{
	return do_renameat2(olddfd, oldname, newdfd, newname, flags);
}

M
Miklos Szeredi 已提交
4486 4487 4488
SYSCALL_DEFINE4(renameat, int, olddfd, const char __user *, oldname,
		int, newdfd, const char __user *, newname)
{
4489
	return do_renameat2(olddfd, oldname, newdfd, newname, 0);
M
Miklos Szeredi 已提交
4490 4491
}

4492
SYSCALL_DEFINE2(rename, const char __user *, oldname, const char __user *, newname)
4493
{
4494
	return do_renameat2(AT_FDCWD, oldname, AT_FDCWD, newname, 0);
4495 4496
}

A
Al Viro 已提交
4497
int readlink_copy(char __user *buffer, int buflen, const char *link)
L
Linus Torvalds 已提交
4498
{
A
Al Viro 已提交
4499
	int len = PTR_ERR(link);
L
Linus Torvalds 已提交
4500 4501 4502 4503 4504 4505 4506 4507 4508 4509 4510 4511
	if (IS_ERR(link))
		goto out;

	len = strlen(link);
	if (len > (unsigned) buflen)
		len = buflen;
	if (copy_to_user(buffer, link, len))
		len = -EFAULT;
out:
	return len;
}

4512 4513 4514 4515 4516 4517 4518 4519 4520 4521 4522 4523 4524
/**
 * vfs_readlink - copy symlink body into userspace buffer
 * @dentry: dentry on which to get symbolic link
 * @buffer: user memory pointer
 * @buflen: size of buffer
 *
 * Does not touch atime.  That's up to the caller if necessary
 *
 * Does not call security hook.
 */
int vfs_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
	struct inode *inode = d_inode(dentry);
4525 4526 4527
	DEFINE_DELAYED_CALL(done);
	const char *link;
	int res;
4528

4529 4530 4531 4532 4533 4534 4535 4536 4537 4538 4539
	if (unlikely(!(inode->i_opflags & IOP_DEFAULT_READLINK))) {
		if (unlikely(inode->i_op->readlink))
			return inode->i_op->readlink(dentry, buffer, buflen);

		if (!d_is_symlink(dentry))
			return -EINVAL;

		spin_lock(&inode->i_lock);
		inode->i_opflags |= IOP_DEFAULT_READLINK;
		spin_unlock(&inode->i_lock);
	}
4540

4541
	link = READ_ONCE(inode->i_link);
4542 4543 4544 4545 4546 4547 4548 4549
	if (!link) {
		link = inode->i_op->get_link(dentry, inode, &done);
		if (IS_ERR(link))
			return PTR_ERR(link);
	}
	res = readlink_copy(buffer, buflen, link);
	do_delayed_call(&done);
	return res;
4550 4551
}
EXPORT_SYMBOL(vfs_readlink);
L
Linus Torvalds 已提交
4552

M
Miklos Szeredi 已提交
4553 4554 4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566 4567 4568 4569 4570 4571 4572 4573 4574 4575 4576 4577
/**
 * vfs_get_link - get symlink body
 * @dentry: dentry on which to get symbolic link
 * @done: caller needs to free returned data with this
 *
 * Calls security hook and i_op->get_link() on the supplied inode.
 *
 * It does not touch atime.  That's up to the caller if necessary.
 *
 * Does not work on "special" symlinks like /proc/$$/fd/N
 */
const char *vfs_get_link(struct dentry *dentry, struct delayed_call *done)
{
	const char *res = ERR_PTR(-EINVAL);
	struct inode *inode = d_inode(dentry);

	if (d_is_symlink(dentry)) {
		res = ERR_PTR(security_inode_readlink(dentry));
		if (!res)
			res = inode->i_op->get_link(dentry, inode, done);
	}
	return res;
}
EXPORT_SYMBOL(vfs_get_link);

L
Linus Torvalds 已提交
4578
/* get the link contents into pagecache */
4579
const char *page_get_link(struct dentry *dentry, struct inode *inode,
4580
			  struct delayed_call *callback)
L
Linus Torvalds 已提交
4581
{
4582 4583
	char *kaddr;
	struct page *page;
4584 4585
	struct address_space *mapping = inode->i_mapping;

4586 4587 4588 4589 4590 4591 4592 4593 4594 4595 4596 4597 4598
	if (!dentry) {
		page = find_get_page(mapping, 0);
		if (!page)
			return ERR_PTR(-ECHILD);
		if (!PageUptodate(page)) {
			put_page(page);
			return ERR_PTR(-ECHILD);
		}
	} else {
		page = read_mapping_page(mapping, 0, NULL);
		if (IS_ERR(page))
			return (char*)page;
	}
4599
	set_delayed_call(callback, page_put_link, page);
4600 4601
	BUG_ON(mapping_gfp_mask(mapping) & __GFP_HIGHMEM);
	kaddr = page_address(page);
4602
	nd_terminate_link(kaddr, inode->i_size, PAGE_SIZE - 1);
4603
	return kaddr;
L
Linus Torvalds 已提交
4604 4605
}

4606
EXPORT_SYMBOL(page_get_link);
L
Linus Torvalds 已提交
4607

4608
void page_put_link(void *arg)
L
Linus Torvalds 已提交
4609
{
4610
	put_page(arg);
L
Linus Torvalds 已提交
4611
}
4612
EXPORT_SYMBOL(page_put_link);
L
Linus Torvalds 已提交
4613

4614 4615
int page_readlink(struct dentry *dentry, char __user *buffer, int buflen)
{
4616
	DEFINE_DELAYED_CALL(done);
4617 4618
	int res = readlink_copy(buffer, buflen,
				page_get_link(dentry, d_inode(dentry),
4619 4620
					      &done));
	do_delayed_call(&done);
4621 4622 4623 4624
	return res;
}
EXPORT_SYMBOL(page_readlink);

4625 4626 4627 4628
/*
 * The nofs argument instructs pagecache_write_begin to pass AOP_FLAG_NOFS
 */
int __page_symlink(struct inode *inode, const char *symname, int len, int nofs)
L
Linus Torvalds 已提交
4629 4630
{
	struct address_space *mapping = inode->i_mapping;
4631
	struct page *page;
4632
	void *fsdata;
4633
	int err;
4634
	unsigned int flags = 0;
4635 4636
	if (nofs)
		flags |= AOP_FLAG_NOFS;
L
Linus Torvalds 已提交
4637

4638
retry:
4639
	err = pagecache_write_begin(NULL, mapping, 0, len-1,
4640
				flags, &page, &fsdata);
L
Linus Torvalds 已提交
4641
	if (err)
4642 4643
		goto fail;

4644
	memcpy(page_address(page), symname, len-1);
4645 4646 4647

	err = pagecache_write_end(NULL, mapping, 0, len-1, len-1,
							page, fsdata);
L
Linus Torvalds 已提交
4648 4649
	if (err < 0)
		goto fail;
4650 4651 4652
	if (err < len-1)
		goto retry;

L
Linus Torvalds 已提交
4653 4654 4655 4656 4657
	mark_inode_dirty(inode);
	return 0;
fail:
	return err;
}
4658
EXPORT_SYMBOL(__page_symlink);
L
Linus Torvalds 已提交
4659

4660 4661 4662
int page_symlink(struct inode *inode, const char *symname, int len)
{
	return __page_symlink(inode, symname, len,
4663
			!mapping_gfp_constraint(inode->i_mapping, __GFP_FS));
4664
}
4665
EXPORT_SYMBOL(page_symlink);
4666

4667
const struct inode_operations page_symlink_inode_operations = {
4668
	.get_link	= page_get_link,
L
Linus Torvalds 已提交
4669 4670
};
EXPORT_SYMBOL(page_symlink_inode_operations);