Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/pcs/pcs-xpcs.c xpcs_create_fwnode() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdiodev | 1-u64max |
| DATA_SOURCE | 0 | mdiodev | r fwnode_mdio_find_device |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/pcs/pcs-xpcs.c xpcs_create_mdiodev() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdiodev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.bus | 6958336547121922048 |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.status | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.numa_node | (-1) |
| PARAM_VALUE | 0 | mdiodev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.child_count.counter | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.early_init | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | mdiodev->dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.qos | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.request | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | mdiodev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.usage_count.counter | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.release | 5704803081296769024 |
| PARAM_VALUE | 0 | mdiodev->device_free | 9082663556309852160 |
| PARAM_VALUE | 0 | mdiodev->device_remove | 8859423587238912000 |
| PARAM_VALUE | 0 | mdiodev->reset_state | (-1) |
| BUF_SIZE | 0 | mdiodev | 1688 |
| BUF_SIZE | 0 | mdiodev->bus | (-1),3752,3784,3792,3800,3808,3816,3824,3912 |
| DATA_SOURCE | 0 | mdiodev | r mdio_device_create |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mdiodev->addr |
drivers/net/pcs/pcs-xpcs.c xpcs_free_data() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | mdiodev | (-1),1688 |
| BUF_SIZE | 0 | mdiodev | (-1),1688 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mdiodev->addr |
drivers/net/pcs/pcs-lynx.c lynx_pcs_create_fwnode() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdiodev | 1-u64max |
| DATA_SOURCE | 0 | mdiodev | r fwnode_mdio_find_device |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/pcs/pcs-lynx.c lynx_pcs_create_mdiodev() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdiodev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->addr | 0-14 |
| PARAM_VALUE | 0 | mdiodev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.bus | 6958336547121922048 |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.status | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.numa_node | (-1) |
| PARAM_VALUE | 0 | mdiodev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.child_count.counter | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.early_init | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | mdiodev->dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.qos | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.request | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | mdiodev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.usage_count.counter | 0 |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mdiodev->dev.release | 5704803081296769024 |
| PARAM_VALUE | 0 | mdiodev->device_free | 9082663556309852160 |
| PARAM_VALUE | 0 | mdiodev->device_remove | 8859423587238912000 |
| PARAM_VALUE | 0 | mdiodev->reset_state | (-1) |
| BUF_SIZE | 0 | mdiodev | 1688 |
| BUF_SIZE | 0 | mdiodev->bus | (-1),3752,3784,3792,3800,3808,3816,3824,3912 |
| CAPPED_DATA | 0 | mdiodev->addr | 1 |
| DATA_SOURCE | 0 | mdiodev | r mdio_device_create |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mdiodev->addr |
drivers/net/pcs/pcs-lynx.c lynx_pcs_destroy() -> mdio_device_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |