Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4layouts.c nfsd4_cb_layout_done() -> (struct nfsd4_layout_ops)->fence_client()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_file 4096-ptr_max
PARAM_VALUE 0 ls->ls_file->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 ls->ls_stid.sc_client 4096-ptr_max
PARAM_VALUE 0 ls->ls_stid.sc_client->net 4096-ptr_max
PARAM_VALUE 0 ls->ls_stid.sc_client->net->gen 4096-ptr_max
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 file->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 file->nf_ref.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 ls->ls_stid.sc_client->net->gen 1
CAPPED_DATA 0 &ls->ls_layouts 1
PARAM_COMPARE 1 file == $0->ls_file
PARAM_COMPARE 1 file == $0->ls_file
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfsd/nfs4layouts.c nfsd4_layout_fence_worker() -> (struct nfsd4_layout_ops)->fence_client()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_file 4096-ptr_max
PARAM_VALUE 0 ls->ls_file->nf_file 4096-ptr_max
PARAM_VALUE 0 ls->ls_file->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 0 ls->ls_file->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 0 ls->ls_file->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 ls->ls_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_stid.sc_client 4096-ptr_max
PARAM_VALUE 0 ls->ls_stid.sc_client->net 4096-ptr_max
PARAM_VALUE 0 ls->ls_stid.sc_client->net->gen 4096-ptr_max
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->nf_file 4096-ptr_max
PARAM_VALUE 1 file->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 file->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 file->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 file->nf_file->f_path.mnt 4096-ptr_max
PARAM_VALUE 1 file->nf_file->f_path.mnt->mnt_sb 4096-ptr_max
PARAM_VALUE 1 file->nf_ref.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 &ls->ls_layouts 1
PARAM_COMPARE 0 ls->ls_file == $1
PARAM_COMPARE 0 &ls->ls_layouts != $0->ls_layouts.next
PARAM_COMPARE 1 file == $0->ls_file
HALF_LOCKED2 &pool->lock