Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4client.c nfs41_shutdown_client() -> nfs4_cleanup_callback()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->cl_idmap->idmap_pipe 0-s64max
PARAM_VALUE 0 clp->cl_idmap->user_ns 0-s64max
PARAM_VALUE 0 clp->cl_mvops 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->call_sync_ops 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->init_caps 16401,2147698737,2952482353
PARAM_VALUE 0 clp->cl_mvops->init_client 4096-ptr_max
PARAM_VALUE 0 clp->cl_mvops->minor_version 0-2
PARAM_VALUE 0 clp->cl_mvops->reboot_recovery_ops 1942191913176563712,4840182328370704384
PARAM_VALUE 0 clp->cl_mvops->session_trunk 0,4417617634892537856
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->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 clp->cl_nfs_mod->owner->state 0-1,3-4294967295
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_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_session 1-u64max
PARAM_VALUE 0 clp->rpc_ops 4096-ptr_max
PARAM_VALUE 0 clp->rpc_ops->version 2-4
PARAM_VALUE 0 *clp->cl_ipaddr 0-255
BUF_SIZE 0 clp (-1),64,128,280,1024
BUF_SIZE 0 clp (-1),64,128,280,1024
CAPPED_DATA 0 clp->cl_net->gen 1
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clp->cl_rpcclient->cl_maxproc