Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pagelist.c nfs_pageio_setup_mirroring() -> (struct nfs_pageio_ops)->pg_get_mirror_count()

Type Parameter Key Value
PARAM_VALUE 0 pgio 4096-ptr_max
PARAM_VALUE 0 pgio->pg_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pgio->pg_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 pgio->pg_ioflags 0-s32max
PARAM_VALUE 0 pgio->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pgio->pg_lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 pgio->pg_mirror_count 1-u32max
PARAM_VALUE 0 pgio->pg_ops 4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_cleanup 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_doio 969348329081774080,1470978087542779904,2077296002684940288
PARAM_VALUE 0 pgio->pg_ops->pg_get_mirror 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_get_mirror_count 4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_init 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_set_mirror 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_ops->pg_test 1230904315092017152,2190305353599070208,5333720386031947776,6017072636082982912,8992081704377929728
PARAM_VALUE 0 pgio->pg_rpc_callops 1080448518632501248
PARAM_VALUE 0 pgio->pg_rpc_callops->rpc_call_done 912425885558689792
PARAM_VALUE 0 pgio->pg_rpc_callops->rpc_call_prepare 9184886022800441344
PARAM_VALUE 0 pgio->pg_rpc_callops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 0 pgio->pg_rpc_callops->rpc_release 1803073303087042560
PARAM_VALUE 0 pgio->pg_rw_ops 4346484410503393280,5773151484729577472
PARAM_VALUE 0 pgio->pg_rw_ops->rw_alloc_header 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_rw_ops->rw_done 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_rw_ops->rw_free_header 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_rw_ops->rw_initiate 0,4096-ptr_max
PARAM_VALUE 0 pgio->pg_rw_ops->rw_result 0,4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
BUF_SIZE 0 pgio->pg_netfs (-1),32
BUF_SIZE 1 req (-1),1-s32max
BUF_SIZE 1 req (-1),1-s32max
CAPPED_DATA 1 req 1
DATA_SOURCE 0 pgio $0
DATA_SOURCE 1 req $1
CONTAINER 0 -24-8+0 $(-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]