Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/direct.c nfs_direct_read_completion() -> (struct nfs_pgio_header)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->completion | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->error_cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->init_hdr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->reschedule_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->error | s32min-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_cons_state | (-12),(-4),0-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_shutdown | 1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_hard | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_lazy | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_queued | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_work.is_soft | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_xprt->bc_serv | 0 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr | 0-255 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority | 0-255 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_uuid.net | 0 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->mds_ops->rpc_count_stats | 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->done | 0,6816862077787136000,7810553299938279424 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->free_slot | 0,5997148140414332928,8851380967264305152 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->process | 0,5343676044341161984,6816862077787136000 |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_alloc_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr->lseg | (-1)-0,24,64,96,272 |
| CAPPED_DATA | 0 | &hdr->pages | 1 |
| DATA_SOURCE | 0 | hdr | $0 |
| CONTAINER | 0 | -80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdr->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->page_array.npages | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->pgio_mirror_idx |
fs/nfs/direct.c nfs_direct_write_completion() -> (struct nfs_pgio_header)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->completion | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->error_cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->init_hdr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->reschedule_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->error | s32min-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->active.counter | s32min-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_exchange_flags | 0-4294967295 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_nfs_mod->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_slot_tbl->max_slots | 0-4294967295 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->dreq->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->mds_ops->rpc_count_stats | 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->done | 0,6816862077787136000,7810553299938279424 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->free_slot | 0,5997148140414332928,8851380967264305152 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->process | 0,5343676044341161984,6816862077787136000 |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_alloc_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_owner_id | 0-255 |
| PARAM_VALUE | 0 | *hdr->dreq->inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr->lseg | (-1)-0,24,64,96,272 |
| CAPPED_DATA | 0 | &hdr->pages | 1 |
| DATA_SOURCE | 0 | hdr | $0 |
| CONTAINER | 0 | -80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdr->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->page_array.npages | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->pgio_mirror_idx |
fs/nfs/read.c nfs_read_completion() -> (struct nfs_pgio_header)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->completion | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->error_cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->init_hdr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->reschedule_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->mds_ops->rpc_count_stats | 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768 |
| PARAM_VALUE | 0 | hdr->netfs | 0 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->done | 0,6816862077787136000,7810553299938279424 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->free_slot | 0,5997148140414332928,8851380967264305152 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->process | 0,5343676044341161984,6816862077787136000 |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_alloc_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr->lseg | (-1)-0,24,64,96,272 |
| CAPPED_DATA | 0 | &hdr->pages | 1 |
| DATA_SOURCE | 0 | hdr | $0 |
| CONTAINER | 0 | -80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdr->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->page_array.npages | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->pgio_mirror_idx |
fs/nfs/write.c nfs_write_completion() -> (struct nfs_pgio_header)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->completion | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->error_cleanup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->init_hdr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->completion_ops->reschedule_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->io_completion | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | hdr->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | hdr->mds_ops->rpc_count_stats | 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->done | 0,6816862077787136000,7810553299938279424 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->free_slot | 0,5997148140414332928,8851380967264305152 |
| PARAM_VALUE | 0 | hdr->res.seq_res.sr_slot_ops->process | 0,5343676044341161984,6816862077787136000 |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_alloc_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr | (-1)-s32max |
| BUF_SIZE | 0 | hdr->lseg | (-1)-0,24,64,96,272 |
| CAPPED_DATA | 0 | &hdr->pages | 1 |
| DATA_SOURCE | 0 | hdr | $0 |
| CONTAINER | 0 | -80+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdr->inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->page_array.npages | |
| NO_OVERFLOW_SIMPLE | 0 | hdr->pgio_mirror_idx |