Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/nfs/nfs4client.c nfs4_alloc_client() -> nfs_create_rpc_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_ds_clients.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_flags | 0,256 |
| PARAM_VALUE | 0 | clp->cl_hostname | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_max_connect | 1-u32max |
| PARAM_VALUE | 0 | clp->cl_mig_gen | 1 |
| 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 | 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-4294967295 |
| 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_rpcwaitq.maxpriority | 0 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.name | 1300516900652720128 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.qlen | 0 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.timer_list.expires | 0 |
| PARAM_VALUE | 0 | clp->cl_state | 4 |
| 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->pending_cb_stateids.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev->prev | 4096-ptr_max |
| 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->minorversion | 0-2 |
| 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 | 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-4294967295 |
| PARAM_VALUE | 1 | cl_init->nfs_mod->rpc_ops | 2745445977497358336,4952832880452337664,6616820525242228736 |
| PARAM_VALUE | 1 | cl_init->reconnect_timeout | 0-u32max |
| PARAM_VALUE | 2 | flavor | 390004 |
| BUF_SIZE | 0 | clp | 1728 |
| BUF_SIZE | 1 | cl_init->addr | (-1),128 |
| BUF_SIZE | 1 | cl_init->hostname | (-1),1-s32max |
| BUF_SIZE | 1 | cl_init->ip_addr | (-1),48-49 |
| BUF_SIZE | 1 | cl_init->timeparms | (-1),32 |
| CAPPED_DATA | 0 | clp->cl_net->gen | 1 |
| CAPPED_DATA | 1 | cl_init->net->gen | 1 |
| DATA_SOURCE | 0 | clp | r nfs_alloc_client |
| DATA_SOURCE | 1 | cl_init | $0 |
| STR_LEN | 0 | clp->cl_rpcwaitq.name | (-1) |
| TERMINATED | 0 | clp->cl_principal | 1 |
| TERMINATED | 0 | clp->cl_rpcwaitq.name | 1 |
| HARD_MAX | 1 | cl_init->init_flags | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/nfs4client.c nfs4_alloc_client() -> nfs_create_rpc_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_ds_clients.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_ds_clients.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_flags | 0,256 |
| PARAM_VALUE | 0 | clp->cl_hostname | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_lock_waitq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->cl_max_connect | 1-u32max |
| PARAM_VALUE | 0 | clp->cl_mig_gen | 1 |
| 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 | 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-4294967295 |
| 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_rpcwaitq.maxpriority | 0 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.name | 1300516900652720128 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.qlen | 0 |
| PARAM_VALUE | 0 | clp->cl_rpcwaitq.timer_list.expires | 0 |
| PARAM_VALUE | 0 | clp->cl_state | 4 |
| 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->pending_cb_stateids.next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | clp->pending_cb_stateids.prev->prev | 4096-ptr_max |
| 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->minorversion | 0-2 |
| 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 | 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-4294967295 |
| PARAM_VALUE | 1 | cl_init->nfs_mod->rpc_ops | 2745445977497358336,4952832880452337664,6616820525242228736 |
| PARAM_VALUE | 1 | cl_init->reconnect_timeout | 0-u32max |
| PARAM_VALUE | 2 | flavor | 1 |
| BUF_SIZE | 0 | clp | 1728 |
| BUF_SIZE | 1 | cl_init->addr | (-1),128 |
| BUF_SIZE | 1 | cl_init->hostname | (-1),1-s32max |
| BUF_SIZE | 1 | cl_init->ip_addr | (-1),48-49 |
| BUF_SIZE | 1 | cl_init->timeparms | (-1),32 |
| CAPPED_DATA | 0 | clp->cl_net->gen | 1 |
| CAPPED_DATA | 0 | clp->rpc_ops->version | 1 |
| CAPPED_DATA | 1 | cl_init->net->gen | 1 |
| DATA_SOURCE | 0 | clp | r nfs_alloc_client |
| DATA_SOURCE | 1 | cl_init | $0 |
| STR_LEN | 0 | clp->cl_rpcwaitq.name | (-1) |
| TERMINATED | 0 | clp->cl_principal | 1 |
| TERMINATED | 0 | clp->cl_rpcwaitq.name | 1 |
| HARD_MAX | 1 | cl_init->init_flags | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | clp->cl_rpcclient->cl_maxproc |
fs/nfs/client.c nfs_init_client() -> nfs_create_rpc_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 |
| PARAM_VALUE | 2 | flavor | 1 |
| BUF_SIZE | 0 | clp | 1728 |
| BUF_SIZE | 1 | cl_init->addr | (-1),128 |
| BUF_SIZE | 1 | cl_init->hostname | (-1),1-s32max |
| BUF_SIZE | 1 | cl_init->ip_addr | (-1),48-49 |
| BUF_SIZE | 1 | cl_init->timeparms | (-1),32 |
| CAPPED_DATA | 0 | clp->cl_net->gen | 1 |
| CAPPED_DATA | 1 | cl_init->net->gen | 1 |
| DATA_SOURCE | 0 | clp | $0 |
| DATA_SOURCE | 1 | cl_init | $1 |
| TERMINATED | 0 | clp->cl_principal | 1 |
| HARD_MAX | 1 | cl_init->init_flags | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING |