nfs41_finish_session_reset identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/nfs/nfs4state.c, line 262 (as a function)

Referenced in 1 files:

fs/nfs/nfs4state.c
- line 287
- line 2464

Smatch caller information:

fs/nfs/nfs4state.c nfs41_init_clientid() -> nfs41_finish_session_reset()

Type	Parameter	Key	Value
PARAM_VALUE	0	clp	4096-ptr_max
PARAM_VALUE	0	clp->cl_count.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	clp->cl_exchange_flags	131072-2147483646,2147483648-u32max
PARAM_VALUE	0	clp->cl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_mvops	4096-ptr_max
PARAM_VALUE	0	clp->cl_mvops->reboot_recovery_ops	1942191913176563712,4840182328370704384
PARAM_VALUE	0	clp->cl_mvops->state_renewal_ops	4096-ptr_max
PARAM_VALUE	0	clp->cl_mvops->state_renewal_ops->get_state_renewal_cred	4096-ptr_max
PARAM_VALUE	0	clp->cl_ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	clp->cl_ns_tracker->dead	0-1
PARAM_VALUE	0	clp->cl_ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	clp->cl_owner_id	16,4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops->bc_maxpayload	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops->bc_num_slots	4096-ptr_max
PARAM_VALUE	0	clp->cl_serverscope	4096-ptr_max
PARAM_VALUE	0	clp->cl_session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.highest_used_slotid	u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.max_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.server_highest_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session->bc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session->flags	2-u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.slot_tbl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_session->bc_slot_table.target_highest_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->clp	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->fc_slot_table.session->fc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->fc_slot_table.slot_tbl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_session->flags	2-u32max
PARAM_VALUE	0	clp->cl_session->sess_id->data	0-255
PARAM_VALUE	0	clp->cl_slot_tbl	0,4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.done	0-4294967293,u32max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.owner	(-1)
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->slot_tbl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_sp4_flags	0
PARAM_VALUE	0	*clp->cl_confirm.data	0-255
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->privileged	0-1
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_done	0-1
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_nr_highest_sent	0-4294967295
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->slot_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->privileged	0-1
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_done	0-1
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_nr_highest_sent	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->slot_nr	0-4294967295
BUF_SIZE	0	clp	128
BUF_SIZE	0	clp	128
CAPPED_DATA	0	clp->cl_rpcclient->cl_xprt	1
DATA_SOURCE	0	clp	$0
NOCHECK_CALL

fs/nfs/nfs4state.c nfs4_reset_session() -> nfs41_finish_session_reset()

Type	Parameter	Key	Value
PARAM_VALUE	0	clp	4096-ptr_max
PARAM_VALUE	0	clp->cl_confirm.data	0-u32max
PARAM_VALUE	0	clp->cl_mvops	4096-ptr_max
PARAM_VALUE	0	clp->cl_mvops->state_renewal_ops	4096-ptr_max
PARAM_VALUE	0	clp->cl_mvops->state_renewal_ops->get_state_renewal_cred	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	clp->cl_rpcclient->cl_debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops->bc_maxpayload	4096-ptr_max
PARAM_VALUE	0	clp->cl_rpcclient->cl_xprt->ops->bc_num_slots	4096-ptr_max
PARAM_VALUE	0	clp->cl_session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.max_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.server_highest_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session->bc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.session->flags	2-u32max
PARAM_VALUE	0	clp->cl_session->bc_slot_table.target_highest_slotid	0-1023,u32max
PARAM_VALUE	0	clp->cl_session->clp	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->fc_slot_table.session->fc_slot_table.session	4096-ptr_max
PARAM_VALUE	0	clp->cl_session->fc_slot_table.slot_tbl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_session->flags	2-u32max
PARAM_VALUE	0	clp->cl_session->sess_id->data	0-255
PARAM_VALUE	0	clp->cl_slot_tbl	0,4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.done	0-4294967293,u32max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.owner	(-1)
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->complete.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	clp->cl_slot_tbl->slot_tbl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->privileged	0-1
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_done	0-1
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->seq_nr_highest_sent	0-4294967295
PARAM_VALUE	0	*clp->cl_session->bc_slot_table->slots->slot_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->privileged	0-1
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_done	0-1
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_nr	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->seq_nr_highest_sent	0-4294967295
PARAM_VALUE	0	*clp->cl_session->fc_slot_table->slots->slot_nr	0-4294967295
BUF_SIZE	0	clp	128
BUF_SIZE	0	clp	128
CAPPED_DATA	0	clp	1
CAPPED_DATA	0	clp->cl_rpcclient->cl_xprt	1
DATA_SOURCE	0	clp	$0
MEM_ZERO	0	clp->cl_session->sess_id.data
NOCHECK_CALL