Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/namei.c vfs_mknod() -> (struct inode_operations)->mknod()

Type Parameter Key Value
PARAM_VALUE 1 $ 4096-ptr_max
PARAM_VALUE 1 $->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 $->i_op 4096-ptr_max
PARAM_VALUE 1 $->i_op->mknod 4096-ptr_max
PARAM_VALUE 1 $->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 $->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 $->i_sb 4096-ptr_max
PARAM_VALUE 2 $ 4096-ptr_max
PARAM_VALUE 2 $->d_inode 0
PARAM_VALUE 2 $->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 $->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 2 $ (-1),1-s32max
BUF_SIZE 2 $ (-1),1-s32max
CAPPED_DATA 1 $->i_sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 1 $->i_sb->s_user_ns->uid_map.nr_extents 1
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $1
DATA_SOURCE 2 $ $2
DATA_SOURCE 3 $ r vfs_prepare_mode
DATA_SOURCE 4 $ $4
CONTAINER 1 -88-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 $->i_mode 0-u16max
USER_DATA 1 $->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 3 $ 0-u16max[c]
USER_DATA 4 $ 0-u32max[c]
HALF_LOCKED2 _T->lock