Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/write.c nfs_initiate_commit() -> nfs_local_commit()

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_may 0-255
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->context->state->inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
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 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
PARAM_VALUE 3 how 0
DATA_SOURCE 0 localio $6
DATA_SOURCE 1 data $1
DATA_SOURCE 2 call_ops $3
DATA_SOURCE 3 how $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock