Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/wangxun/txgbe/txgbe_main.c txgbe_open() -> wx_configure()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 1-u64max
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wx->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 wx->pdev->dev.iommu->pci_32bit_workaround 0-1
CAPPED_DATA 0 wx->num_rx_queues 1
CAPPED_DATA 0 wx->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/wangxun/txgbe/txgbe_main.c txgbe_up() -> wx_configure()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->adapter_stopped 1
PARAM_VALUE 0 wx->addr_ctrl.mta_in_use 0
PARAM_VALUE 0 wx->base_incval 8388608,10485760,13104000,13421772,33554432
PARAM_VALUE 0 wx->flags 4096-ptr_max
PARAM_VALUE 0 wx->hw_cc.mask u64max
PARAM_VALUE 0 wx->hw_cc.mult 1
PARAM_VALUE 0 wx->hw_cc.read 8742759936797503488
PARAM_VALUE 0 wx->hw_cc.shift 12,15,18,20-22
PARAM_VALUE 0 wx->hw_tc.cc 4096-ptr_max
PARAM_VALUE 0 wx->hw_tc_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 wx->last_stats.lxoffrxc 0
PARAM_VALUE 0 wx->last_stats.lxonrxc 0
PARAM_VALUE 0 wx->mac.max_rx_queues 0-u16max
PARAM_VALUE 0 wx->mac.max_tx_queues 0-u16max
PARAM_VALUE 0 wx->mac.num_rar_entries 128
PARAM_VALUE 0 wx->mac.sensor.alarm_thresh 0,100
PARAM_VALUE 0 wx->mac.sensor.dalarm_thresh 0,90
PARAM_VALUE 0 wx->mac.sensor.temp 0
PARAM_VALUE 0 wx->mac_table 4096-ptr_max
PARAM_VALUE 0 wx->netdev 4096-ptr_max
PARAM_VALUE 0 wx->netdev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wx->pdev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 wx->phylink->link_irq 0
PARAM_VALUE 0 wx->phylink->link_poll.entry.pprev 0
PARAM_VALUE 0 wx->phylink->link_poll.flags 0-4194302
PARAM_VALUE 0 wx->phylink->link_poll.lockdep_map->name 0-255
PARAM_VALUE 0 wx->phylink->pcs_state 0
PARAM_VALUE 0 wx->phylink->phydev->asym_pause 0-1
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->carrier_down_count.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->carrier_up_count.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->autoneg_complete 0-1
PARAM_VALUE 0 wx->phylink->phydev->downshifted_rate 0-1
PARAM_VALUE 0 wx->phylink->phydev->duplex s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->eee_active 0-1
PARAM_VALUE 0 wx->phylink->phydev->enable_tx_lpi 0-1
PARAM_VALUE 0 wx->phylink->phydev->has_fixups 0-1
PARAM_VALUE 0 wx->phylink->phydev->last_triggered->trigger.brightness 255
PARAM_VALUE 0 wx->phylink->phydev->led_link_trigger->trigger.brightness 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->link 0-1
PARAM_VALUE 0 wx->phylink->phydev->link_down_events 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->phylink->phydev->master_slave_get 0-255
PARAM_VALUE 0 wx->phylink->phydev->master_slave_state 0-255
PARAM_VALUE 0 wx->phylink->phydev->mdio.bus->mdio_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->mdio.reset_state s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->nest->nla_len 0-u16max
PARAM_VALUE 0 wx->phylink->phydev->pause 0-1
PARAM_VALUE 0 wx->phylink->phydev->pma_extable s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->phylink->phydev->sfp_bus->started 0-1
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->speed s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->state 0-4
PARAM_VALUE 0 wx->phylink->phydev->state_queue.cpu s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->state_queue.timer.flags 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->suspended 0-1
PARAM_VALUE 0 wx->phylink->phydev->wol_enabled 0-1
PARAM_VALUE 0 wx->phylink->resolve.lockdep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->aux_work.timer.flags 0-4294967295
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.canceling s32min-s32max
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.worker->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.owner (-1)
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->reset_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->reset_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wx->reset_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->reset_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->reset_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->reset_lock.wait_lock.owner (-1)
PARAM_VALUE 0 wx->reset_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wx->service_task.lockdep_map->name 0-255
PARAM_VALUE 0 wx->service_timer.entry.pprev 0
PARAM_VALUE 0 wx->service_timer.flags 0-4194302
PARAM_VALUE 0 wx->service_timer.lockdep_map->name 0-255
PARAM_VALUE 0 wx->state 4096-ptr_max
PARAM_VALUE 0 wx->tstamp_config.rx_filter 0,4-5,12
PARAM_VALUE 0 *wx->last_stats.qmprc 0
PARAM_VALUE 0 *wx->mac.addr 0-255
PARAM_VALUE 0 *wx->mac.perm_addr 0-255
PARAM_VALUE 0 *wx->mac.vft_shadow 0
PARAM_VALUE 0 *wx->phylink->phydev->attached_dev->name 0-255
PARAM_VALUE 0 *wx->phylink->phydev->attached_dev->pcpu_refcnt s32min-s32max
CAPPED_DATA 0 wx->mac.max_rx_queues 1
CAPPED_DATA 0 wx->mac.max_tx_queues 1
CAPPED_DATA 0 wx->mac.vft_size 1
CAPPED_DATA 0 wx->num_rx_queues 1
CAPPED_DATA 0 wx->num_tx_queues 1
DATA_SOURCE 0 wx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wx->hw_tc.cycle_last 0-u64max
HOST_DATA 0 wx->pps_edge_end 0-u32max
HOST_DATA 0 wx->pps_edge_start 0-u32max
NO_OVERFLOW_SIMPLE 0 wx->ptp_clock->kworker->task->dl.pi_se->dl_runtime
LOCK2 0 &wx->reset_lock
TYPE_LOCK (struct wx)->reset_lock

drivers/net/ethernet/wangxun/ngbe/ngbe_main.c ngbe_open() -> wx_configure()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->isb_mem 1-u64max
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 wx->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wx->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 wx->pdev->dev.iommu->pci_32bit_workaround 0-1
CAPPED_DATA 0 wx->num_rx_queues 1
CAPPED_DATA 0 wx->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/wangxun/ngbe/ngbe_main.c ngbe_up() -> wx_configure()

Type Parameter Key Value
PARAM_VALUE 0 wx 4096-ptr_max
PARAM_VALUE 0 wx->base_incval 8388608,10485760,13104000,13421772,33554432
PARAM_VALUE 0 wx->flags 4096-ptr_max
PARAM_VALUE 0 wx->hw_cc.mask u64max
PARAM_VALUE 0 wx->hw_cc.mult 1
PARAM_VALUE 0 wx->hw_cc.read 8742759936797503488
PARAM_VALUE 0 wx->hw_cc.shift 12,15,18,20-22
PARAM_VALUE 0 wx->hw_tc.cc 4096-ptr_max
PARAM_VALUE 0 wx->hw_tc_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 wx->netdev 4096-ptr_max
PARAM_VALUE 0 wx->netdev->tx_global_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wx->notify_down 0
PARAM_VALUE 0 wx->phylink 4096-ptr_max
PARAM_VALUE 0 wx->phylink->link_irq 0
PARAM_VALUE 0 wx->phylink->link_poll.entry.pprev 0
PARAM_VALUE 0 wx->phylink->link_poll.flags 0-4194302
PARAM_VALUE 0 wx->phylink->pcs_state 0
PARAM_VALUE 0 wx->phylink->phydev->asym_pause 0-1
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->carrier_down_count.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->carrier_up_count.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->attached_dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,744
PARAM_VALUE 0 wx->phylink->phydev->autoneg_complete 0-1
PARAM_VALUE 0 wx->phylink->phydev->downshifted_rate 0-1
PARAM_VALUE 0 wx->phylink->phydev->duplex s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->eee_active 0-1
PARAM_VALUE 0 wx->phylink->phydev->enable_tx_lpi 0-1
PARAM_VALUE 0 wx->phylink->phydev->has_fixups 0-1
PARAM_VALUE 0 wx->phylink->phydev->last_triggered->trigger.brightness 255
PARAM_VALUE 0 wx->phylink->phydev->led_link_trigger->trigger.brightness 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->link 0-1
PARAM_VALUE 0 wx->phylink->phydev->link_down_events 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->phylink->phydev->master_slave_get 0-255
PARAM_VALUE 0 wx->phylink->phydev->master_slave_state 0-255
PARAM_VALUE 0 wx->phylink->phydev->mdio.reset_state s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->nest->nla_len 0-u16max
PARAM_VALUE 0 wx->phylink->phydev->pause 0-1
PARAM_VALUE 0 wx->phylink->phydev->pma_extable s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->priv->ts_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->phylink->phydev->sfp_bus->started 0-1
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 wx->phylink->phydev->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->speed s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->state 0-4
PARAM_VALUE 0 wx->phylink->phydev->state_queue.cpu s32min-s32max
PARAM_VALUE 0 wx->phylink->phydev->state_queue.timer.flags 0-4294967295
PARAM_VALUE 0 wx->phylink->phydev->suspended 0-1
PARAM_VALUE 0 wx->phylink->phydev->wol_enabled 0-1
PARAM_VALUE 0 wx->phylink->resolve.lockdep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->aux_work.timer.flags 0-4294967295
PARAM_VALUE 0 wx->ptp_clock->aux_work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.canceling s32min-s32max
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.worker->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.worker->lock.owner (-1)
PARAM_VALUE 0 wx->ptp_clock->aux_work.work.worker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.dep_map->name 0-255
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.owner (-1)
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.owner_cpu 4294967295
PARAM_VALUE 0 wx->ptp_clock->kworker->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 wx->reset_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->reset_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wx->reset_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wx->reset_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wx->reset_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wx->reset_lock.wait_lock.owner (-1)
PARAM_VALUE 0 wx->reset_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wx->service_task.lockdep_map->name 0-255
PARAM_VALUE 0 wx->service_timer.entry.pprev 0
PARAM_VALUE 0 wx->service_timer.flags 0-4194302
PARAM_VALUE 0 wx->state 4096-ptr_max
PARAM_VALUE 0 wx->tstamp_config.rx_filter 0,4-5,12
PARAM_VALUE 0 *wx->phylink->phydev->attached_dev->name 0-255
PARAM_VALUE 0 *wx->phylink->phydev->attached_dev->pcpu_refcnt s32min-s32max
CAPPED_DATA 0 wx->num_rx_queues 1
CAPPED_DATA 0 wx->num_tx_queues 1
DATA_SOURCE 0 wx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wx->hw_tc.cycle_last 0-u64max
HOST_DATA 0 wx->pps_edge_end 0-u32max
HOST_DATA 0 wx->pps_edge_start 0-u32max
LOCK2 0 &wx->reset_lock
TYPE_LOCK (struct wx)->reset_lock