Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/localio.c nfs_local_commit() -> nfs_local_release_commit_data()

Type Parameter Key Value
PARAM_VALUE 0 localio 1-ptr_max
PARAM_VALUE 0 localio->nf_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 localio->nf_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 localio->nf_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 localio->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 localio->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 localio->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 localio->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 localio->nf_file->f_path.dentry->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 localio->nf_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 1 data->args.count 0
PARAM_VALUE 1 data->args.fh 4096-ptr_max
PARAM_VALUE 1 data->args.offset 0
PARAM_VALUE 1 data->completion_ops 2355520384648577024,8090874710459322368
PARAM_VALUE 1 data->completion_ops->completion 0,4062113542062690304,7551144312497737728
PARAM_VALUE 1 data->completion_ops->resched_write 0,370018759710437376,1223883440206647296
PARAM_VALUE 1 data->context 4096-ptr_max
PARAM_VALUE 1 data->dreq 0,4096-ptr_max
PARAM_VALUE 1 data->fattr.group_name 0
PARAM_VALUE 1 data->fattr.mdsthreshold 0
PARAM_VALUE 1 data->fattr.owner_name 0
PARAM_VALUE 1 data->fattr.valid 0
PARAM_VALUE 1 data->inode 4096-ptr_max
PARAM_VALUE 1 data->inode->i_sb 4096-ptr_max
PARAM_VALUE 1 data->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 1 data->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 1 data->lseg 0
PARAM_VALUE 1 data->mds_ops 4561867193330057216
PARAM_VALUE 1 data->mds_ops->rpc_call_done 5931570261714726912
PARAM_VALUE 1 data->mds_ops->rpc_call_prepare 8233300074430832640
PARAM_VALUE 1 data->mds_ops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 1 data->mds_ops->rpc_release 677142128998612992
PARAM_VALUE 1 data->pages.next 4096-ptr_max
PARAM_VALUE 1 data->pages.next->next 4096-ptr_max
PARAM_VALUE 1 data->pages.next->prev 4096-ptr_max
PARAM_VALUE 1 data->pages.prev 4096-ptr_max
PARAM_VALUE 1 data->pages.prev->next 4096-ptr_max
PARAM_VALUE 1 data->pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 data->res.fattr 4096-ptr_max
PARAM_VALUE 1 data->res.seq_res.sr_slot_ops->done 0,6816862077787136000,7810553299938279424
PARAM_VALUE 1 data->res.seq_res.sr_slot_ops->free_slot 0,5997148140414332928,8851380967264305152
PARAM_VALUE 1 data->res.seq_res.sr_slot_ops->process 0,5343676044341161984,6816862077787136000
PARAM_VALUE 1 data->res.verf 4096-ptr_max
PARAM_VALUE 1 data->task.tk_status (-12)
PARAM_VALUE 2 call_ops 4561867193330057216
PARAM_VALUE 2 call_ops->rpc_call_done 5931570261714726912
PARAM_VALUE 2 call_ops->rpc_call_prepare 8233300074430832640
PARAM_VALUE 2 call_ops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 2 call_ops->rpc_release 677142128998612992
DATA_SOURCE 0 localio $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 call_ops $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/nfs/localio.c nfs_local_fsync_ctx_free() -> nfs_local_release_commit_data()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 1 data->inode 4096-ptr_max
PARAM_VALUE 1 data->inode->i_sb 4096-ptr_max
PARAM_VALUE 1 data->res.verf->committed 2
PARAM_VALUE 1 data->task.tk_status s32min-0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock