Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_callback_wq->first_flusher->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_callback_wq->first_flusher->done.wait.lock.owner (-1)
PARAM_VALUE 0 clp->cl_callback_wq->first_flusher->done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 clp->cl_callback_wq->flags 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->flush_color s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 clp->cl_callback_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->rescuer 0
PARAM_VALUE 0 clp->cl_callback_wq->work_color s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev 0-s64max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->battery_dev->id (-2)
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback 0,6667066348596736000
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->cdev 0
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->cis_mem.res 0
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->device_count 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->functions 0-u16max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->pcmcia_pfc 0-255
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->present.counter s32min-s32max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->resource_setup_done 0-255
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->state 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.driver_data->touch_dev->id (-2)
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.function 1626621062881370112
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.links.status 0,3
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.p->dead 0-1
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.parent->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 clp->cl_callback_wq->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->ns_tracker->dead 0-1
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_client->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_path->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_path->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_path.dentry->d_flags 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ek_path.dentry->d_lockref.count s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_client->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_path->dentry->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_path->dentry->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_path.dentry->d_flags 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_path.dentry->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.ex_path.dentry->d_lockref.count s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_auth_cache->h.m_client->h.ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_bc_xps->xps_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 clp->cl_cb_conn.cb_xprt->xpt_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 clp->cl_cb_null.cb_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 clp->cl_cb_waitq.timer_list.dwork.work.lockdep_map->name 0-255
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_time 0
PARAM_VALUE 0 clp->net 4096-ptr_max
PARAM_VALUE 0 clp->net->gen 4096-ptr_max
CAPPED_DATA 0 clp->net->gen 1
DATA_SOURCE 0 clp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nfsd_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 clp 4096-ptr_max
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_oid.len 0-32
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_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
DATA_SOURCE 0 clp $0
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