Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/wireless/core.c wiphy_new_nm() -> (struct class)->dev_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 5921550614428241920 |
| PARAM_VALUE | 0 | dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | dev->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | dev->kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | dev->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | dev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | dev->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.status | 0 |
| PARAM_VALUE | 0 | dev->links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->numa_node | (-1) |
| PARAM_VALUE | 0 | dev->platform_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.async_suspend | 1 |
| PARAM_VALUE | 0 | dev->power.child_count.counter | 0 |
| PARAM_VALUE | 0 | dev->power.deferred_resume | 0 |
| PARAM_VALUE | 0 | dev->power.disable_depth | 1 |
| PARAM_VALUE | 0 | dev->power.early_init | 1 |
| PARAM_VALUE | 0 | dev->power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.idle_notification | 0 |
| PARAM_VALUE | 0 | dev->power.ignore_children | 0 |
| PARAM_VALUE | 0 | dev->power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.is_prepared | 0 |
| PARAM_VALUE | 0 | dev->power.is_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | dev->power.qos | 0 |
| PARAM_VALUE | 0 | dev->power.request | 0 |
| PARAM_VALUE | 0 | dev->power.request_pending | 0 |
| PARAM_VALUE | 0 | dev->power.runtime_auto | 1 |
| PARAM_VALUE | 0 | dev->power.runtime_error | 0 |
| PARAM_VALUE | 0 | dev->power.runtime_status | 2 |
| PARAM_VALUE | 0 | dev->power.timer_expires | 0 |
| PARAM_VALUE | 0 | dev->power.usage_count.counter | 0 |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.prev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/base/core.c device_release() -> (struct class)->dev_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class->dev_release | 1-u64max |
| PARAM_VALUE | 0 | dev->release | 0 |
| PARAM_VALUE | 0 | dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->type->release | 0 |
| CAPPED_DATA | 0 | dev->dma_range_map | 1 |
| CAPPED_DATA | 0 | dev->driver_override.name | 1 |
| CONTAINER | 0 | -48-1552+0 | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/mmc/core/host.c mmc_alloc_host() -> (struct class)->dev_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 7305885352085544960 |
| PARAM_VALUE | 0 | dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | dev->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | dev->kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | dev->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | dev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | dev->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.status | 0 |
| PARAM_VALUE | 0 | dev->links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->numa_node | (-1) |
| PARAM_VALUE | 0 | dev->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.async_suspend | 1 |
| PARAM_VALUE | 0 | dev->power.child_count.counter | 0 |
| PARAM_VALUE | 0 | dev->power.deferred_resume | 0 |
| PARAM_VALUE | 0 | dev->power.disable_depth | 1 |
| PARAM_VALUE | 0 | dev->power.early_init | 1 |
| PARAM_VALUE | 0 | dev->power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.idle_notification | 0 |
| PARAM_VALUE | 0 | dev->power.ignore_children | 0 |
| PARAM_VALUE | 0 | dev->power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.is_prepared | 0 |
| PARAM_VALUE | 0 | dev->power.is_suspended | 0 |
| PARAM_VALUE | 0 | dev->power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | dev->power.qos | 0 |
| PARAM_VALUE | 0 | dev->power.request | 0 |
| PARAM_VALUE | 0 | dev->power.request_pending | 0 |
| PARAM_VALUE | 0 | dev->power.runtime_auto | 1 |
| PARAM_VALUE | 0 | dev->power.runtime_error | 0 |
| PARAM_VALUE | 0 | dev->power.runtime_status | 2 |
| PARAM_VALUE | 0 | dev->power.timer_expires | 0 |
| PARAM_VALUE | 0 | dev->power.usage_count.counter | 0 |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.prev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |