Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/namespace.c path_is_mountpoint() -> __path_is_mountpoint()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dentry 4096-ptr_max
PARAM_VALUE 0 path->dentry->d_flags 32768-u32max
PARAM_VALUE 0 path->dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 path->dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 path->dentry->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 path->dentry->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 path->dentry->d_op->d_real 0,4509355519306412032
BUF_SIZE 0 path->dentry (-1),1-s32max
BUF_SIZE 0 path->mnt (-1)-0,32
CAPPED_DATA 0 path->dentry 1
DATA_SOURCE 0 path $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 path->dentry->__d_name.hash 0-u32max[c]
USER_PTR 0 path->dentry->__d_name.name
LOCK2 rcu_read
HALF_LOCKED2 &sbi->fs_lock
HALF_LOCKED2 &sbi->lookup_lock
HALF_LOCKED2 0 &path->dentry->d_lockref.lock

fs/dcache.c path_check_mount() -> __path_is_mountpoint()

Type Parameter Key Value
PARAM_VALUE 0 path 3792382541978263552
PARAM_VALUE 0 path->dentry 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dentry->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct lockref)->lock