Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sunplus/spl2sw_driver.c spl2sw_probe() -> spl2sw_mdio_remove()

Type Parameter Key Value
PARAM_VALUE 0 comm 4096-ptr_max
PARAM_VALUE 0 comm->clk 0,4096-ptr_max
PARAM_VALUE 0 comm->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 comm->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 comm->clk->core->dev->power.request 0-4
PARAM_VALUE 0 comm->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 comm->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 comm->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 comm->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 comm->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 comm->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 comm->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 comm->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 comm->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 comm->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 comm->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 comm->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 comm->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 comm->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 comm->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 comm->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 comm->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 comm->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 comm->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 comm->clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 comm->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 comm->desc_base 4096-ptr_max
PARAM_VALUE 0 comm->l2sw_reg_base 4096-ptr_max
PARAM_VALUE 0 comm->mii_bus 4096-ptr_max
PARAM_VALUE 0 comm->ndev 0
PARAM_VALUE 0 comm->pdev 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 comm->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 comm->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 comm->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 comm->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 comm->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 comm->pdev->dev.driver_data 0
PARAM_VALUE 0 comm->pdev->dev.of_node 1-u64max
PARAM_VALUE 0 comm->rstc 0,4096-ptr_max
PARAM_VALUE 0 comm->rstc->array 0-1
PARAM_VALUE 0 comm->rx_desc_buff_size 2047
PARAM_VALUE 0 comm->tx_desc 4096-ptr_max
PARAM_VALUE 0 comm->tx_desc->addr1 0
PARAM_VALUE 0 comm->tx_desc->addr2 0
PARAM_VALUE 0 comm->tx_desc->cmd1 0
PARAM_VALUE 0 comm->tx_desc->cmd2 0
PARAM_VALUE 0 comm->tx_desc_full 0
PARAM_VALUE 0 comm->tx_done_pos 0
PARAM_VALUE 0 comm->tx_pos 0
PARAM_VALUE 0 *comm->rx_pos 0-4294967295
BUF_SIZE 0 comm 1760
BUF_SIZE 0 comm->clk (-1),1-s32max
BUF_SIZE 0 comm->rstc (-1),8,96,280,1296
DATA_SOURCE 0 comm r devm_kzalloc
TERMINATED 0 comm->mii_bus->name 1
MEM_ZERO 0 comm
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sunplus/spl2sw_driver.c spl2sw_remove() -> spl2sw_mdio_remove()

Type Parameter Key Value
PARAM_VALUE 0 comm 4096-ptr_max
PARAM_VALUE 0 comm->desc_base 0
PARAM_VALUE 0 comm->desc_dma 0
PARAM_VALUE 0 comm->desc_size 0
PARAM_VALUE 0 comm->enable 0
PARAM_VALUE 0 comm->ndev 4096-ptr_max
PARAM_VALUE 0 comm->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 comm->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 comm->rx_napi->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 comm->rx_napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 comm->rx_napi.config 0,4096-ptr_max
PARAM_VALUE 0 comm->rx_napi.dev 4096-ptr_max
PARAM_VALUE 0 comm->rx_napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 comm->rx_napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 comm->rx_napi.dev_list.next->prev 4096-ptr_max
PARAM_VALUE 0 comm->rx_napi.gro.bitmask 0
PARAM_VALUE 0 comm->rx_napi.gro.cached_napi_id 0
PARAM_VALUE 0 comm->rx_napi.gro.rx_count 0
PARAM_VALUE 0 comm->rx_napi.index (-1)
PARAM_VALUE 0 comm->rx_napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 comm->rx_napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 comm->rx_napi.napi_hash_node.pprev 0
PARAM_VALUE 0 comm->rx_napi.skb 0
PARAM_VALUE 0 comm->rx_napi.thread 0
PARAM_VALUE 0 comm->rx_napi.timer.is_queued 0
PARAM_VALUE 0 comm->rx_napi.timer.node.node.next 0
PARAM_VALUE 0 comm->rx_napi.timer.node.node.prev 0
PARAM_VALUE 0 comm->tx_desc 0
PARAM_VALUE 0 comm->tx_napi->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 comm->tx_napi->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 comm->tx_napi.config 0,4096-ptr_max
PARAM_VALUE 0 comm->tx_napi.dev 4096-ptr_max
PARAM_VALUE 0 comm->tx_napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 comm->tx_napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 comm->tx_napi.dev_list.next->prev 4096-ptr_max
PARAM_VALUE 0 comm->tx_napi.gro.bitmask 0
PARAM_VALUE 0 comm->tx_napi.gro.cached_napi_id 0
PARAM_VALUE 0 comm->tx_napi.gro.rx_count 0
PARAM_VALUE 0 comm->tx_napi.index (-1)
PARAM_VALUE 0 comm->tx_napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 comm->tx_napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 comm->tx_napi.napi_hash_node.pprev 0
PARAM_VALUE 0 comm->tx_napi.skb 0
PARAM_VALUE 0 comm->tx_napi.thread 0
PARAM_VALUE 0 comm->tx_napi.timer.is_queued 0
PARAM_VALUE 0 comm->tx_napi.timer.node.node.next 0
PARAM_VALUE 0 comm->tx_napi.timer.node.node.prev 0
PARAM_VALUE 0 *comm->rx_desc 0
PARAM_VALUE 0 *comm->rx_skb_info 0
BUF_SIZE 0 comm s32min-(-2),1-s32max
BUF_SIZE 0 comm s32min-(-2),1-s32max
CAPPED_DATA 0 comm->rx_napi.timer.base 1
CAPPED_DATA 0 comm->tx_napi.timer.base 1
PARAM_COMPARE 0 &comm->rx_napi.timer != $0->rx_napi.timer.base->running
PARAM_COMPARE 0 &comm->tx_napi.timer != $0->tx_napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 comm unit_byte
HALF_LOCKED2 &_dev->mutex