Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pagelist.c __nfs_pageio_add_request() -> nfs_pageio_cleanup_request()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->pg_completion_ops->completion 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_completion_ops->error_cleanup 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_completion_ops->init_hdr 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_completion_ops->reschedule_io 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 desc->pg_ioflags 0-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_mirror_count 1-u32max
PARAM_VALUE 0 desc->pg_ops 4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_cleanup 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_doio 969348329081774080,1470978087542779904,2077296002684940288
PARAM_VALUE 0 desc->pg_ops->pg_get_mirror 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_get_mirror_count 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_init 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_set_mirror 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_test 1230904315092017152,2190305353599070208,5333720386031947776,6017072636082982912,8992081704377929728
PARAM_VALUE 0 desc->pg_rpc_callops 1080448518632501248
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_call_done 912425885558689792
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_call_prepare 9184886022800441344
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_release 1803073303087042560
PARAM_VALUE 0 desc->pg_rw_ops 4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_alloc_header 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_done 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_free_header 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_initiate 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_result 0,4096-ptr_max
PARAM_VALUE 0 *desc->pg_lseg->pls_layout->plh_stateid.data 0-255
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->wb_bytes 1-u32max
PARAM_VALUE 1 req->wb_folio 1-u64max
PARAM_VALUE 1 req->wb_head 4096-ptr_max
PARAM_VALUE 1 req->wb_list.next 1-u64max
PARAM_VALUE 1 req->wb_list.next->next 1-u64max
PARAM_VALUE 1 req->wb_list.prev->next 1-u64max
PARAM_VALUE 1 req->wb_list.prev->prev 1-u64max
PARAM_VALUE 1 req->wb_lock_context 4096-ptr_max
PARAM_VALUE 1 req->wb_lock_context->open_context 4096-ptr_max
PARAM_VALUE 1 req->wb_page 1-u64max
CAPPED_DATA 1 req 1
CAPPED_DATA 1 req->wb_bytes 1
DATA_SOURCE 0 desc $0
DATA_SOURCE 1 req r nfs_create_subreq
NOSPEC 1 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 req->wb_bytes 1-u32max[c]
USER_DATA 1 req->wb_index 0-2251799813685247
USER_DATA 1 req->wb_offset 0-u32max[c]
USER_DATA 1 req->wb_pgbase 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 desc->pg_inode->i_size
NO_OVERFLOW_SIMPLE 0 desc->pg_mirror_count
NO_OVERFLOW_SIMPLE 0 desc->pg_mirror_idx
HALF_LOCKED2 &pool->lock

fs/nfs/pagelist.c nfs_pageio_add_request() -> nfs_pageio_cleanup_request()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->pg_error s32min-(-1)
PARAM_VALUE 0 desc->pg_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 desc->pg_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_cons_state s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_exchange_flags 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_net->ns.__ns_ref.refs.counter s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_net->refcnt_tracker.dead 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->dead 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_count.refs.counter s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_shutdown 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.nr 0-255
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_rpcwaitq.priority 0-255
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_session->bc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_session->fc_slot_table.max_slots 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_slot_tbl->max_slots 0-4294967295
PARAM_VALUE 0 desc->pg_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 desc->pg_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 desc->pg_lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 desc->pg_mirror_count 1-u32max
PARAM_VALUE 0 desc->pg_ops 4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_cleanup 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_doio 969348329081774080,1470978087542779904,2077296002684940288
PARAM_VALUE 0 desc->pg_ops->pg_get_mirror 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_get_mirror_count 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_init 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_set_mirror 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_ops->pg_test 1230904315092017152,2190305353599070208,5333720386031947776,6017072636082982912,8992081704377929728
PARAM_VALUE 0 desc->pg_rpc_callops 1080448518632501248
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_call_done 912425885558689792
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_call_prepare 9184886022800441344
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 0 desc->pg_rpc_callops->rpc_release 1803073303087042560
PARAM_VALUE 0 desc->pg_rw_ops 4346484410503393280,5773151484729577472
PARAM_VALUE 0 desc->pg_rw_ops->rw_alloc_header 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_done 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_free_header 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_initiate 0,4096-ptr_max
PARAM_VALUE 0 desc->pg_rw_ops->rw_result 0,4096-ptr_max
PARAM_VALUE 0 *desc->pg_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_cred->security (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *desc->pg_lseg->pls_layout->plh_stateid.data 0-255
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->wb_head 4096-ptr_max
PARAM_VALUE 1 req->wb_list.next->next 1-u64max
PARAM_VALUE 1 req->wb_list.next->prev 4096-ptr_max
PARAM_VALUE 1 req->wb_list.prev->next 1-u64max
PARAM_VALUE 1 req->wb_list.prev->prev 1-u64max
PARAM_VALUE 1 req->wb_lock_context->open_context 4096-ptr_max
CAPPED_DATA 1 req 1
DATA_SOURCE 0 desc $0
DATA_SOURCE 1 req r nfs_create_subreq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 desc->pg_mirror_idx