Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/proc_sysctl.c proc_sys_make_inode() -> (struct ctl_table_root)->set_ownership()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->inodes->first->pprev 1-u64max
PARAM_VALUE 0 head->inodes.first 4096-ptr_max
PARAM_VALUE 0 head->inodes.first->pprev 4096-ptr_max
PARAM_VALUE 0 head->root 4096-ptr_max
PARAM_VALUE 0 head->root->set_ownership 1-u64max
PARAM_VALUE 0 head->unregistering 0
PARAM_VALUE 0 head->unregistering->wait.lock.dep_map->name 0-255
PARAM_VALUE 0 head->unregistering->wait.lock.owner (-1)
PARAM_VALUE 0 head->unregistering->wait.lock.owner_cpu u32max
PARAM_VALUE 0 head->unregistering->wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 uid 4096-ptr_max
PARAM_VALUE 2 gid 4096-ptr_max
DATA_SOURCE 0 head $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem