Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dcache.c d_walk() -> d_walk param 2()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 dentry 4096-ptr_max
PARAM_VALUE 1 dentry->d_lockref.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 data (-1),8,16,32
BUF_SIZE 0 data (-1),8,16,32
BUF_SIZE 1 dentry (-1),1-s32max
BUF_SIZE 1 dentry (-1),1-s32max
DATA_SOURCE 0 data $1
DATA_SOURCE 1 dentry $0
BIT_INFO 1 dentry->d_flags 0x0,0xfdffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 data->victim->__d_name.hash 0-4294967295[c]
USER_DATA 1 dentry->__d_name.hash 0-u32max[c]
UNITS 0 data unit_jiffy
UNITS 1 dentry unit_jiffy
USER_PTR 1 dentry->__d_name.name
LOCK2 1 &dentry->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct lockref)->lock

fs/dcache.c d_walk() -> d_walk param 2()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 dentry 4096-ptr_max
BUF_SIZE 0 data (-1),8,16,32
BUF_SIZE 0 data (-1),8,16,32
DATA_SOURCE 0 data $1
BIT_INFO 1 dentry->d_flags 0x0,0xfdffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 data->victim->__d_name.hash 0-4294967295[c]
UNITS 0 data unit_jiffy
UNITS 1 dentry unit_jiffy
USER_PTR 1 dentry->__d_name.name
LOCK2 1 &dentry->d_lockref.lock
HALF_LOCKED2 &this_parent->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct lockref)->lock