Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rpmsg/rpmsg_core.c rpmsg_register_device_override() -> (struct device)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 836096914538631168 |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->defpool.nareas | 0-s32max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->dyn_alloc.data.counter | 0,9007199250546704 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->dyn_alloc.entry.next | 0 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->pools.next | 0 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->pools.prev | 0,1473117533515866408 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->kobj.entry.prev->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.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.defer_sync.prev->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.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->numa_node | (-1) |
| PARAM_VALUE | 0 | dev->parent | 4096-ptr_max |
| 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.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.entry.prev->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.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->release | 3193378151736184832,5595840834722885632,7465097274334175232 |
| BUF_SIZE | 0 | dev | 1616 |
| BUF_SIZE | 0 | dev->bus | 168 |
| CONTAINER | 0 | -1568+0 | $(-1) |
| MEM_ZERO | 0 | &dev->power.suspend_timer | |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/platform/amphion/vpu_v4l2.c vpu_add_func() -> (struct device)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->fwnode | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->groups | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->release | 6593789798798196736 |
| PARAM_VALUE | 0 | dev->type | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/bluetooth/hidp/core.c hidp_setup_hid() -> (struct device)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 2544308396894162944 |
| 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.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->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 |
| PARAM_VALUE | 0 | dev->release | 385127039417352192 |
| CAPABLE | 0 | 12 |
drivers/base/core.c device_release() -> (struct device)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->release | 1-u64max |
| CAPPED_DATA | 0 | dev->dma_range_map | 1 |
| CAPPED_DATA | 0 | dev->driver_override.name | 1 |
| CONTAINER | 0 | -1568+0 | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gnss/serial.c gnss_serial_allocate() -> (struct device)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max,(-22),(-17),(-12),(-2) |
| PARAM_VALUE | 0 | dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devt | 0-4294967294 |
| 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->driver_data | 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->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 |
| PARAM_VALUE | 0 | dev->release | 1213731179476615168 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/usb/gadget/udc/core.c usb_gadget_release() -> usb_gadget_release ptr release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 0 | dev->bus | (-1),168 |
| BUF_SIZE | 0 | dev->init_name | (-1),32 |
| BUF_SIZE | 0 | dev->parent | (-1),1616 |
| BUF_SIZE | 0 | dev->platform_data | (-1),1360 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev->init_name | (-1),31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |