Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4state.c nfs4_setup_state_renewal() -> nfs4_proc_get_lease_time()

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->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_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_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_ipaddr 0-255
PARAM_VALUE 1 fsinfo 6146618687375060992
BUF_SIZE 0 clp (-1),128
BUF_SIZE 0 clp (-1),128
DATA_SOURCE 0 clp $0