Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namei.c traverse_mounts() -> __traverse_mounts()

Type Parameter Key Value
PARAM_VALUE 0 path 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 1 flags 32768-u32max
PARAM_VALUE 2 jumped 1942452942987034624,3293399628807311360
PARAM_VALUE 3 count 0,4096-ptr_max
BUF_SIZE 0 path->dentry (-1),1-s32max
DATA_SOURCE 0 path $0
DATA_SOURCE 2 jumped $1
DATA_SOURCE 3 count $2
DATA_SOURCE 4 lookup_flags $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 path->dentry->__d_name.hash 0-u32max[c]
USER_PTR 0 path->dentry->__d_name.name
HALF_LOCKED2 0 &path->dentry->d_lockref.lock