Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/nfs/pagelist.c nfs_generic_pg_pgios() -> nfs_pgheader_init()
| 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_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 | 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 | hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_mode | 1-2 |
| PARAM_VALUE | 1 | hdr->rw_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_alloc_header | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| BUF_SIZE | 0 | desc->pg_dreq | (-1),1-s32max |
| BUF_SIZE | 0 | desc->pg_io_completion | (-1)-0,24 |
| BUF_SIZE | 0 | desc->pg_lseg | (-1)-0,96 |
| BUF_SIZE | 0 | desc->pg_netfs | (-1),32 |
| BUF_SIZE | 0 | desc->pg_ops | (-1),56 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | hdr | r nfs_pgio_header_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | desc->pg_error | |
| 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/pnfs.c pnfs_generic_pg_readpages() -> nfs_pgheader_init()
| 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_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 | 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 | hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_mode | 1-2 |
| PARAM_VALUE | 1 | hdr->rw_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_alloc_header | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| BUF_SIZE | 0 | desc->pg_dreq | (-1),1-s32max |
| BUF_SIZE | 0 | desc->pg_io_completion | (-1)-0,24 |
| BUF_SIZE | 0 | desc->pg_lseg | (-1)-0,96 |
| BUF_SIZE | 0 | desc->pg_netfs | (-1),32 |
| BUF_SIZE | 0 | desc->pg_ops | (-1),56 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | hdr | r nfs_pgio_header_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | desc->pg_error | |
| 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/pnfs.c pnfs_generic_pg_writepages() -> nfs_pgheader_init()
| 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_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 | 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 | hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->pages.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_mode | 1-2 |
| PARAM_VALUE | 1 | hdr->rw_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_alloc_header | 4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_done | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_free_header | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_initiate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | hdr->rw_ops->rw_result | 0,4096-ptr_max |
| BUF_SIZE | 0 | desc->pg_dreq | (-1),1-s32max |
| BUF_SIZE | 0 | desc->pg_io_completion | (-1)-0,24 |
| BUF_SIZE | 0 | desc->pg_lseg | (-1)-0,96 |
| BUF_SIZE | 0 | desc->pg_netfs | (-1),32 |
| BUF_SIZE | 0 | desc->pg_ops | (-1),56 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | hdr | r nfs_pgio_header_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | desc->pg_error | |
| 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 |