Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pnfs.c pnfs_generic_pg_writepages() -> pnfs_do_write()

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_dreq 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 0,4096-ptr_max
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->args.fh 4096-ptr_max
PARAM_VALUE 1 hdr->args.lock_context 4096-ptr_max
PARAM_VALUE 1 hdr->args.pgbase 0-4095
PARAM_VALUE 1 hdr->args.stable 0,2
PARAM_VALUE 1 hdr->completion_ops 4096-ptr_max
PARAM_VALUE 1 hdr->completion_ops->completion 0,4096-ptr_max
PARAM_VALUE 1 hdr->completion_ops->error_cleanup 0,4096-ptr_max
PARAM_VALUE 1 hdr->completion_ops->init_hdr 0,4096-ptr_max
PARAM_VALUE 1 hdr->completion_ops->reschedule_io 0,4096-ptr_max
PARAM_VALUE 1 hdr->fattr.group_name 0
PARAM_VALUE 1 hdr->fattr.mdsthreshold 0
PARAM_VALUE 1 hdr->fattr.owner_name 0
PARAM_VALUE 1 hdr->fattr.valid 0
PARAM_VALUE 1 hdr->io_completion->refcount.refcount.refs.counter s32min-s32max
PARAM_VALUE 1 hdr->lseg 0,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->next->next 4096-ptr_max
PARAM_VALUE 1 hdr->pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 hdr->release 3361682660440834048
PARAM_VALUE 1 hdr->req 4096-ptr_max
PARAM_VALUE 1 hdr->res.count 0
PARAM_VALUE 1 hdr->res.eof 0
PARAM_VALUE 1 hdr->res.fattr 4096-ptr_max
PARAM_VALUE 1 hdr->res.verf 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
PARAM_VALUE 2 how 0-s32max
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
BUF_SIZE 1 hdr->lseg (-1)-0,96
DATA_SOURCE 0 desc $0
DATA_SOURCE 1 hdr r nfs_pgio_header_alloc
PARAM_COMPARE 0 desc->pg_lseg == $1->lseg
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
NO_OVERFLOW_SIMPLE 1 hdr->inode->i_size
NO_OVERFLOW_SIMPLE 1 hdr->pgio_mirror_idx
HALF_LOCKED2 &pool->lock