Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/dsa/dsa_loop.c dsa_loop_exit() -> mdio_device_remove()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/dsa/dsa_loop.c dsa_loop_init() -> mdio_device_remove()

Type Parameter Key Value
NOCHECK_CALL

drivers/net/phy/air_en8811h.c an8811hb_probe() -> mdio_device_remove()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 0 mdiodev->addr s32min-s32max
PARAM_VALUE 0 mdiodev->bus 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.devres_head.next->next 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->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->next 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->next 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.flags 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 mdiodev->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 mdiodev->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 mdiodev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mdiodev->dev.links.consumers.next->next 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->next 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.suppliers.next->next 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.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 mdiodev->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 mdiodev->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 mdiodev->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 mdiodev->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 mdiodev->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 mdiodev->dev.physical_location->panel 0-7
PARAM_VALUE 0 mdiodev->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 mdiodev->dev.power.entry.next->next 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.wait_queue.head.next->next 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->device_free 9082663556309852160
PARAM_VALUE 0 mdiodev->device_remove 8859423587238912000
PARAM_VALUE 0 mdiodev->reset_ctrl 0,4096-ptr_max
PARAM_VALUE 0 mdiodev->reset_ctrl->deassert_count.counter s32min-s32max
PARAM_VALUE 0 mdiodev->reset_gpio 0,4096-ptr_max
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->lock.owner (-1)-0
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->lock.owner_cpu 0,4294967295
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->desc_srcu.srcu_sup->srcu_gp_seq s64max
PARAM_VALUE 0 mdiodev->reset_gpio->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 mdiodev->reset_state (-1),1
BUF_SIZE 0 mdiodev 1688
CAPPED_DATA 0 mdiodev 1
DATA_SOURCE 0 mdiodev r mdio_device_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mdiodev->addr

drivers/net/phy/air_en8811h.c an8811hb_remove() -> mdio_device_remove()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/phy/mdio_bus_provider.c __mdiobus_register() -> (struct mdio_device)->device_remove()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.power.wakeirq->status 0-4294967295
CONTAINER 0 -1640+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sfp->sm_mutex
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &hnae3_common_lock

drivers/net/phy/mdio_bus_provider.c mdiobus_unregister() -> (struct mdio_device)->device_remove()

Type Parameter Key Value
PARAM_VALUE 0 mdiodev 4096-ptr_max
PARAM_VALUE 0 mdiodev->dev.power.wakeirq->status 0-4294967295
CONTAINER 0 -1640+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &adapter->devlink->lock
HALF_LOCKED2 &sfp->sm_mutex
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &hnae3_common_lock