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 nfs41_walk_client_list() -> nfs4_match_client()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->cl_cons_state 1-2
PARAM_VALUE 1 new->cl_count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 new->cl_exchange_flags 131072-2147483646,2147483648-u32max
PARAM_VALUE 1 new->cl_flags 0,256
PARAM_VALUE 1 new->cl_hostname 4096-ptr_max
PARAM_VALUE 1 new->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 new->cl_max_connect 1-u32max
PARAM_VALUE 1 new->cl_mvops 4096-ptr_max
PARAM_VALUE 1 new->cl_mvops->init_client 4096-ptr_max
PARAM_VALUE 1 new->cl_mvops->reboot_recovery_ops 1942191913176563712,4840182328370704384
PARAM_VALUE 1 new->cl_net 4096-ptr_max
PARAM_VALUE 1 new->cl_net->gen 4096-ptr_max
PARAM_VALUE 1 new->cl_net->gen->s.len 0-s32max
PARAM_VALUE 1 new->cl_net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_nfs_mod 4096-ptr_max
PARAM_VALUE 1 new->cl_nfs_mod->owner 0
PARAM_VALUE 1 new->cl_nfs_mod->owner->state 0-1,3-4294967295
PARAM_VALUE 1 new->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 1 new->cl_nfssvc_boot.tv_nsec 0-999999999
PARAM_VALUE 1 new->cl_ns_tracker 0,4096-ptr_max
PARAM_VALUE 1 new->cl_ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 new->cl_ns_tracker->dead 0-1
PARAM_VALUE 1 new->cl_ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 new->cl_owner_id 16,4096-ptr_max
PARAM_VALUE 1 new->cl_principal 0,2206208817503797248
PARAM_VALUE 1 new->cl_rpcclient 4096-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->bc_pa_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->bc_pa_list.next->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->xprt_net->gen->s.len 13
PARAM_VALUE 1 new->cl_serverscope 4096-ptr_max
PARAM_VALUE 1 new->cl_session 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.highest_used_slotid u32max
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_tbl_waitq.name 4970312035873906688
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->clp 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.highest_used_slotid u32max
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_tbl_waitq.name 4330467846153117696
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_share_link.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->complete.done 0
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->highest_used_slotid u32max
PARAM_VALUE 1 new->cl_slot_tbl->max_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_slot_tbl->server_highest_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.name 1454078846590533632
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.qlen 0
PARAM_VALUE 1 new->cl_slot_tbl->slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->target_highest_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_sp4_flags 0
PARAM_VALUE 1 new->cl_superblocks.next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.next->prev 0
PARAM_VALUE 1 new->cl_uuid.files.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.next->prev 0
PARAM_VALUE 1 new->cl_uuid.list.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.nfs3_localio_probe_count 0
PARAM_VALUE 1 new->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 1 new->rpc_ops->version 2-4
PARAM_VALUE 1 *new->cl_confirm.data 0-255
PARAM_VALUE 2 prev 8574589276062511104
PARAM_VALUE 2 *prev 0,4096-ptr_max
PARAM_VALUE 3 nn 4096-ptr_max
PARAM_VALUE 3 nn->nfs_client_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &pos->cl_share_link 1
CAPPED_DATA 1 new->cl_net->gen 1
CAPPED_DATA 1 new->cl_rpcclient->cl_xprt->xprt_net 1
CAPPED_DATA 1 new->cl_rpcclient->cl_xprt->xprt_net->gen 1
CAPPED_DATA 1 new->rpc_ops 1
CAPPED_DATA 3 &nn->nfs_client_list 1
DATA_SOURCE 1 new $0
DATA_SOURCE 3 nn r net_generic
PARAM_COMPARE 0 pos != $1
PARAM_COMPARE 1 new != $0
PARAM_COMPARE 1 new != $0
TERMINATED 1 new->cl_principal 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nfs_clid_init_mutex
LOCK2 3 &nn->nfs_client_lock
TYPE_LOCK (struct nfs_net)->nfs_client_lock

fs/nfs/nfs40client.c nfs40_walk_client_list() -> nfs4_match_client()

Type Parameter Key Value
PARAM_VALUE 0 pos 4096-ptr_max
PARAM_VALUE 0 pos->cl_confirm.data 0-u32max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->cl_acceptor 0,4096-ptr_max
PARAM_VALUE 1 new->cl_confirm.data 0-u32max
PARAM_VALUE 1 new->cl_cons_state 1-2
PARAM_VALUE 1 new->cl_count.refs.counter 1
PARAM_VALUE 1 new->cl_flags 0,256
PARAM_VALUE 1 new->cl_hostname 4096-ptr_max
PARAM_VALUE 1 new->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 new->cl_max_connect 1-u32max
PARAM_VALUE 1 new->cl_mvops 4096-ptr_max
PARAM_VALUE 1 new->cl_mvops->init_client 4096-ptr_max
PARAM_VALUE 1 new->cl_mvops->reboot_recovery_ops 1942191913176563712,4840182328370704384
PARAM_VALUE 1 new->cl_net 4096-ptr_max
PARAM_VALUE 1 new->cl_net->gen 4096-ptr_max
PARAM_VALUE 1 new->cl_net->gen->s.len 0-s32max
PARAM_VALUE 1 new->cl_net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_nfs_mod 4096-ptr_max
PARAM_VALUE 1 new->cl_nfs_mod->owner 0
PARAM_VALUE 1 new->cl_nfs_mod->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 new->cl_nfs_mod->owner->state 0-1,3-4294967295
PARAM_VALUE 1 new->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 1 new->cl_nfssvc_boot.tv_nsec 0-999999999
PARAM_VALUE 1 new->cl_ns_tracker 0,4096-ptr_max
PARAM_VALUE 1 new->cl_owner_id 16,4096-ptr_max
PARAM_VALUE 1 new->cl_principal 0,2206208817503797248
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->bc_pa_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->bc_pa_list.next->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->bc_serv 0-ptr_max
PARAM_VALUE 1 new->cl_rpcclient->cl_xprt->xprt_net->gen->s.len 13
PARAM_VALUE 1 new->cl_session 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.highest_used_slotid u32max
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_tbl_waitq.name 4970312035873906688
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->bc_slot_table.slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->clp 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.highest_used_slotid u32max
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_tbl_waitq.name 4330467846153117696
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_session->fc_slot_table.slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_session->session_state 1
PARAM_VALUE 1 new->cl_share_link.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->complete.done 0
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.magic 3735899821
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.owner (-1)
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.lock.owner_cpu u32max
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->complete.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->highest_used_slotid u32max
PARAM_VALUE 1 new->cl_slot_tbl->max_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_slot_tbl->server_highest_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.maxpriority 3
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.name 1454078846590533632
PARAM_VALUE 1 new->cl_slot_tbl->slot_tbl_waitq.qlen 0
PARAM_VALUE 1 new->cl_slot_tbl->slot_waitq.head.next 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->slot_waitq.head.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_slot_tbl->target_highest_slotid 0-1023,u32max
PARAM_VALUE 1 new->cl_superblocks.next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_superblocks.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.dom 0
PARAM_VALUE 1 new->cl_uuid.files.next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.next->prev 0
PARAM_VALUE 1 new->cl_uuid.files.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.files.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.next->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.next->prev 0
PARAM_VALUE 1 new->cl_uuid.list.prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.prev->next 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list.prev->prev 4096-ptr_max
PARAM_VALUE 1 new->cl_uuid.list_lock 0
PARAM_VALUE 1 new->cl_uuid.net 0
PARAM_VALUE 1 new->cl_uuid.nfs3_localio_probe_count 0
PARAM_VALUE 1 new->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 1 new->rpc_ops->version 2-4
PARAM_VALUE 1 *new->cl_ipaddr 0
PARAM_VALUE 2 prev 6909465918179274752
PARAM_VALUE 2 *prev 0,4096-ptr_max
PARAM_VALUE 3 nn 4096-ptr_max
PARAM_VALUE 3 nn->nfs_client_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &pos->cl_share_link 1
CAPPED_DATA 1 new 1
CAPPED_DATA 1 new->cl_net->gen 1
CAPPED_DATA 1 new->cl_rpcclient->cl_xprt->xprt_net 1
CAPPED_DATA 1 new->cl_rpcclient->cl_xprt->xprt_net->gen 1
CAPPED_DATA 1 new->rpc_ops 1
CAPPED_DATA 3 &nn->nfs_client_list 1
DATA_SOURCE 1 new $0
DATA_SOURCE 3 nn r net_generic
PARAM_COMPARE 0 pos != $1
PARAM_COMPARE 1 new != $0
PARAM_COMPARE 1 new != $0
TERMINATED 1 new->cl_principal 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nfs_clid_init_mutex
LOCK2 3 &nn->nfs_client_lock
TYPE_LOCK (struct nfs_net)->nfs_client_lock