Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/proc_sysctl.c proc_sys_fill_cache() -> proc_sys_make_inode()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op 0,4096-ptr_max
PARAM_VALUE 0 sb->__s_d_op->d_dname 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592
PARAM_VALUE 0 sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->unregistering 0
PARAM_VALUE 1 head->unregistering->wait.lock.dep_map->name 0-255
PARAM_VALUE 1 head->unregistering->wait.lock.owner (-1)
PARAM_VALUE 1 head->unregistering->wait.lock.owner_cpu u32max
PARAM_VALUE 1 head->unregistering->wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 2 table 4096-ptr_max
DATA_SOURCE 1 head $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/proc/proc_sysctl.c proc_sys_lookup() -> proc_sys_make_inode()

Type Parameter Key Value
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->unregistering 0
PARAM_VALUE 2 table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dir->i_rwsem