Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/pagelist.c nfs_pageio_add_request() -> nfs_pageio_add_request_mirror()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| 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 | 2-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_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 | 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 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | req | r nfs_create_subreq |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | req->wb_bytes | 0-u32max |
| 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_mirror_idx |
fs/nfs/pagelist.c nfs_pageio_add_request() -> nfs_pageio_add_request_mirror()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| 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 |
| BUF_SIZE | 1 | req | (-1),1-s32max |
| BUF_SIZE | 1 | req | (-1),1-s32max |
| CAPPED_DATA | 0 | desc->pg_mirror_count | 1 |
| CAPPED_DATA | 1 | req | 1 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | req | $1 |
| NOSPEC | 1 | req->wb_bytes | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | req->wb_bytes | 0-u32max[c] |
| USER_DATA | 1 | req->wb_head->wb_bytes | 0-u32max |
| USER_DATA | 1 | req->wb_head->wb_index | 0-2251799813685247 |
| USER_DATA | 1 | req->wb_head->wb_offset | 0-u32max[c] |
| USER_DATA | 1 | req->wb_head->wb_pgbase | 0-u32max[c] |
| USER_DATA | 1 | req->wb_index | 0-2251799813685247 |
| USER_DATA | 1 | req->wb_offset | 0-4095[c] |
| USER_DATA | 1 | req->wb_pgbase | 0-4095[c] |
| USER_DATA | 1 | req->wb_this_page->wb_bytes | 0-u32max |
| USER_DATA | 1 | req->wb_this_page->wb_index | 0-2251799813685247 |
| USER_DATA | 1 | req->wb_this_page->wb_offset | 0-u32max[c] |
| USER_DATA | 1 | req->wb_this_page->wb_pgbase | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | desc->pg_mirror_idx |