Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namei.c path_lookupat() -> link_path_walk()

Type Parameter Key Value
PARAM_VALUE 0 name 4096-u64max
PARAM_VALUE 1 nd 522358671205986304,4342420360533635072,6489631671941296128
PARAM_VALUE 1 nd->last_type 0-3
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 name (-1),1-s32max
BUF_SIZE 0 name (-1),1-s32max
DATA_SOURCE 1 nd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nd->dfd s32min-s32max
USER_DATA 1 nd->inode->i_mode 0-u16max
USER_DATA 1 nd->last.hash 0-u32max[c]
USER_DATA 1 nd->path.dentry->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 nd->path.dentry->d_inode->i_size

fs/namei.c path_lookupat() -> link_path_walk()

Type Parameter Key Value
PARAM_VALUE 0 name 4096-u64max
PARAM_VALUE 1 nd 522358671205986304,4342420360533635072,6489631671941296128
PARAM_VALUE 1 nd->last_type 0-3
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 name (-1),1-s32max
BUF_SIZE 0 name (-1),1-s32max
DATA_SOURCE 0 name r lookup_last
DATA_SOURCE 1 nd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nd->dfd s32min-s32max
USER_DATA 1 nd->dir_mode 0-u16max
USER_DATA 1 nd->inode->i_mode 0-u16max
USER_DATA 1 nd->last.hash 0-u32max[c]
USER_DATA 1 nd->path.dentry->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 1 nd->path.dentry->d_inode->i_size

fs/namei.c path_openat() -> link_path_walk()

Type Parameter Key Value
PARAM_VALUE 0 name 4096-u64max
PARAM_VALUE 1 nd 4342420360533635072,6489631671941296128
PARAM_VALUE 1 nd->last_type 0-3
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 name (-1),1-s32max
BUF_SIZE 0 name (-1),1-s32max
DATA_SOURCE 1 nd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nd->dfd s32min-s32max
USER_DATA 1 nd->last.hash 0-u32max[c]
USER_DATA 1 nd->path.dentry->__d_name.hash 0-u32max[c]

fs/namei.c path_openat() -> link_path_walk()

Type Parameter Key Value
PARAM_VALUE 0 name 4096-u64max
PARAM_VALUE 1 nd 4342420360533635072,6489631671941296128
PARAM_VALUE 1 nd->last_type 0-3
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nd->path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 name (-1),1-s32max
BUF_SIZE 0 name (-1),1-s32max
DATA_SOURCE 0 name r open_last_lookups
DATA_SOURCE 1 nd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nd->dfd s32min-s32max
USER_DATA 1 nd->last.hash 0-u32max[c]
USER_DATA 1 nd->path.dentry->__d_name.hash 0-u32max[c]

fs/namei.c path_parentat() -> link_path_walk()

Type Parameter Key Value
PARAM_VALUE 0 name 4096-ptr_max,(-131),(-20),(-18),(-11)-(-9),(-2)
PARAM_VALUE 1 nd 2024205125206544384
PARAM_VALUE 1 nd->depth 0
PARAM_VALUE 1 nd->last_type 0-3
PARAM_VALUE 1 nd->name 0,4096-ptr_max
PARAM_VALUE 1 nd->saved 0,4096-ptr_max
BUF_SIZE 0 name (-1),1,168-4096
BUF_SIZE 0 name (-1),1,168-4096
DATA_SOURCE 1 nd $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 nd->dfd s32min-s32max
USER_DATA 1 nd->last.hash 0-u32max[c]