Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pagelist.c nfs_pageio_setup_mirroring() -> nfs_pageio_alloc_mirrors()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->pg_error 0-s32max
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_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_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 1 mirror_count 1-16
BUF_SIZE 0 desc->pg_netfs (-1),32
DATA_SOURCE 0 desc $0
FUZZY_MAX 0 desc->pg_error 0
FUZZY_MAX 1 mirror_count 1
PARAM_COMPARE 1 mirror_count != $0->pg_mirror_count
RX_PATH
TASK_NOT_RUNNING