Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfs/client.c nfs_get_client() -> (struct nfs_rpc_ops)->init_client()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_cons_state 1
PARAM_VALUE 0 clp->cl_count.refs.counter 1
PARAM_VALUE 0 clp->cl_flags 0,256
PARAM_VALUE 0 clp->cl_hostname 4096-ptr_max
PARAM_VALUE 0 clp->cl_max_connect 1-u32max
PARAM_VALUE 0 clp->cl_net 4096-ptr_max
PARAM_VALUE 0 clp->cl_net->gen 4096-ptr_max
PARAM_VALUE 0 clp->cl_net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfs_mod 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfs_mod->owner 0
PARAM_VALUE 0 clp->cl_nfs_mod->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 clp->cl_nfs_mod->owner->state 0-1,3-u32max
PARAM_VALUE 0 clp->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 clp->cl_nfssvc_boot.tv_nsec 0-999999999
PARAM_VALUE 0 clp->cl_ns_tracker 0,4096-ptr_max
PARAM_VALUE 0 clp->cl_principal 2206208817503797248
PARAM_VALUE 0 clp->cl_rpcclient 4096-ptr_max
PARAM_VALUE 0 clp->cl_share_link.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_superblocks.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_superblocks.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_superblocks.prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_superblocks.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_superblocks.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.dom 0
PARAM_VALUE 0 clp->cl_uuid.files.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.files.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.files.prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.files.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.files.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list.next->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list.prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_uuid.list_lock 0
PARAM_VALUE 0 clp->cl_uuid.net 0
PARAM_VALUE 0 clp->cl_uuid.nfs3_localio_probe_count 0
PARAM_VALUE 0 clp->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 clp->rpc_ops->version 2-4
PARAM_VALUE 1 cl_init 628145703905452032,1926840714401316864,6279745220977082368,6639592086450638848,6833862659534561280,7315962996585676800
PARAM_VALUE 1 cl_init->addr 4096-ptr_max
PARAM_VALUE 1 cl_init->connect_timeout 0-u32max
PARAM_VALUE 1 cl_init->hostname 1-u64max
PARAM_VALUE 1 cl_init->init_flags 0,256
PARAM_VALUE 1 cl_init->net 4096-ptr_max
PARAM_VALUE 1 cl_init->net->gen 4096-ptr_max
PARAM_VALUE 1 cl_init->net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 cl_init->net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 cl_init->nfs_mod 4096-ptr_max
PARAM_VALUE 1 cl_init->nfs_mod->owner->state 0-1,3-u32max
PARAM_VALUE 1 cl_init->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 1 cl_init->reconnect_timeout 0-u32max
BUF_SIZE 0 clp 1728
CAPPED_DATA 0 clp->cl_net->gen 1
CAPPED_DATA 1 cl_init->net->gen 1
CAPPED_DATA 1 cl_init->nfs_mod->rpc_ops 1
DATA_SOURCE 1 cl_init $0
TERMINATED 0 clp->cl_principal 1
HARD_MAX 1 cl_init->init_flags 256
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 clp->cl_rpcclient->cl_maxproc