Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_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 jumped 1942452942987034624
PARAM_VALUE 2 count 0
PARAM_VALUE 3 lookup_flags 0,4
BUF_SIZE 0 path->dentry (-1)-s32max
DATA_SOURCE 0 path $0
DATA_SOURCE 3 lookup_flags $1
FUZZY_MAX 3 lookup_flags 4
BIT_INFO 3 lookup_flags 0x0,0x4
HARD_MAX 3 lookup_flags 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &path->dentry->d_lockref.lock

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

Type Parameter Key Value
PARAM_VALUE 0 path 4385562092739477504
PARAM_VALUE 1 jumped 3293399628807311360
PARAM_VALUE 2 count 4096-ptr_max
BUF_SIZE 0 path->dentry (-1),1-s32max
DATA_SOURCE 0 path $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 path->dentry->__d_name.hash 0-u32max[c]
USER_PTR 0 path->dentry->__d_name.name