Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c __destroy_client() -> nfsd4_shutdown_callback()

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
PARAM_VALUE 0 clp->async_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_cb_null.cb_ops->done 0,4761991685085646848,4951998288713355264,5107742723170004992,6463507683566055424,7176242006274752512,7561723759094972416,8855713013769814016
PARAM_VALUE 0 clp->cl_cb_null.cb_ops->opcode 0,3-6,8,13,15
PARAM_VALUE 0 clp->cl_cb_null.cb_ops->prepare 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528
PARAM_VALUE 0 clp->cl_cb_null.cb_ops->release 0,2649951188937506816,2998409049542356992,4095934491169366016,4598868471442890752,6874552758448033792,8347903914680221696,8802793434733793280
PARAM_VALUE 0 clp->cl_confirm.data 0-u32max
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_name 0,3279946168012029952
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_ops 0,608393847869476864
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_owner 0
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_pf_num 0,3
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_pfs 0,3116866246497927168
PARAM_VALUE 0 clp->cl_cred.cr_gss_mech->gm_upcall_enctypes 0,3635466832211886080
PARAM_VALUE 0 clp->cl_idhash.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_idhash.next->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_idhash.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_lru.next->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_lru.prev->next 4096-ptr_max
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 clp->cl_nfsd_dentry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 clp->cl_ownerstr_hashtbl 4096-ptr_max
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops->done 0,4761991685085646848,4951998288713355264,5107742723170004992,6463507683566055424,7176242006274752512,7561723759094972416,8855713013769814016
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops->opcode 0,3-6,8,13,15
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops->prepare 0,6615115460471758848,7940280283817664512,8498283809539985408,8971678646376214528
PARAM_VALUE 0 clp->cl_ra->ra_cb.cb_ops->release 0,2649951188937506816,2998409049542356992,4095934491169366016,4598868471442890752,6874552758448033792,8347903914680221696,8802793434733793280
PARAM_VALUE 0 clp->cl_spo_must_allow.u.words 4096-ptr_max
PARAM_VALUE 0 clp->cl_time 0
PARAM_VALUE 0 clp->cl_verifier.data 0-u32max
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->net->gen 1
CAPPED_DATA 0 &clp->cl_delegations 1
CAPPED_DATA 0 &clp->cl_openowners 1
CAPPED_DATA 0 &clp->cl_revoked 1
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 clp->cl_nfsd_dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 clp->cl_nfsd_dentry->d_inode->i_size
HALF_LOCKED2 global &nfsd_mutex