Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/nfs40proc.c _nfs40_proc_fsid_present() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops 4096-ptr_max
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy

fs/nfs/nfs40proc.c nfs4_proc_renew() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->state_renewal_ops 41887510811009024,3250995145717530624
DATA_SOURCE 0 clp $0
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy

fs/nfs/nfs40proc.c nfs4_renew_done() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp->cl_cons_state (-12),(-4),0-s32max
PARAM_VALUE 0 clp->cl_idmap->idmap_pdo->pdo_data->idmap_pipe->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_idmap->idmap_pdo->pdo_data->idmap_pipe->dentry->d_fsdata->name 0-255
PARAM_VALUE 0 clp->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata->name 0-255
PARAM_VALUE 0 clp->cl_nfs_mod->owner->refcnt.counter 0-s32max
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 4096-u64max
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->rcu.func 1-u64max
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_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy

fs/nfs/nfs4proc.c _nfs4_proc_exchange_id() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->init_client 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_nfs_mod->owner 0
PARAM_VALUE 0 clp->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 clp->cl_slot_tbl->complete.done 0-4294967293,u32max
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->rpc_ops->version 2-4
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clp->cl_rpcclient->cl_maxproc
UNITS 1 timestamp unit_jiffy
HALF_LOCKED2 global &nfs_clid_init_mutex

fs/nfs/nfs4proc.c nfs41_sequence_process() -> do_renew_lease()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy
HALF_LOCKED2 &pool->lock

fs/nfs/nfs4proc.c nfs4_proc_setclientid() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->init_client 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_net 4096-ptr_max
PARAM_VALUE 0 clp->cl_net->gen 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfs_mod->owner 0
PARAM_VALUE 0 clp->cl_nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 clp->cl_owner_id 1-u64max
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.owner (-1)
PARAM_VALUE 0 clp->cl_slot_tbl->complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 clp->rpc_ops->version 2-4
PARAM_VALUE 0 *clp->cl_ipaddr 0-255
BUF_SIZE 0 clp->cl_acceptor (-1)-s32max
CAPPED_DATA 0 clp->cl_net->gen 1
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy
HALF_LOCKED2 global &nfs_clid_init_mutex

fs/nfs/nfs4proc.c renew_lease() -> do_renew_lease()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_session 0
DATA_SOURCE 1 timestamp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 timestamp unit_jiffy