Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfs4_state_destroy_net() -> destroy_client()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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.raw_lock.val.counter | 0-s32max |
| 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->flusher_queue.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->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.fwnode->secondary->secondary | (-19) |
| 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.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.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.qos->freq.max_freq.type | 2 |
| PARAM_VALUE | 0 | clp->cl_callback_wq->wq_dev->dev.power.wakeirq->status | 0-4294967295 |
| 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_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->net->gen | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &nfsd_mutex |
fs/nfsd/nfs4state.c nfs4_state_destroy_net() -> destroy_client()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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.raw_lock.val.counter | 0-s32max |
| 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->flusher_queue.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->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.fwnode->secondary->secondary | (-19) |
| 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.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.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.qos->freq.max_freq.type | 2 |
| PARAM_VALUE | 0 | clp->cl_callback_wq->wq_dev->dev.power.wakeirq->status | 0-4294967295 |
| 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_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->net->gen | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &nfsd_mutex |