Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/e100.c e100_hw_init() -> e100_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->cb_to_clean 4096-ptr_max
PARAM_VALUE 0 nic->cb_to_send 4096-ptr_max
PARAM_VALUE 0 nic->cb_to_use 4096-ptr_max
PARAM_VALUE 0 nic->cbs 4096-ptr_max
PARAM_VALUE 0 nic->cbs_pool 4096-ptr_max
PARAM_VALUE 0 nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nic->cbs_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 nic->cbs_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 nic->cbs_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 nic->cbs_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->cbs_pool->size 0-s32max
PARAM_VALUE 0 nic->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->cuc_cmd 16
PARAM_VALUE 0 nic->mem 4096-ptr_max
PARAM_VALUE 0 nic->mem->selftest.result u32max
PARAM_VALUE 0 nic->mem->selftest.signature 0
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 nic->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 nic->ru_running 0
PARAM_VALUE 0 nic->rx_to_clean 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_clean->prev 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use 4096-ptr_max
PARAM_VALUE 0 nic->rxs 4096-ptr_max
PARAM_VALUE 0 nic->rxs->dma_addr 0-18446744073709551614
PARAM_VALUE 0 nic->rxs->next 16,24,4096-ptr_max
PARAM_VALUE 0 nic->rxs->prev->skb->data->link 0-4294967295
PARAM_VALUE 0 nic->rxs->skb 4096-ptr_max
PARAM_VALUE 0 *nic->eeprom 0-u16max
PARAM_VALUE 0 *nic->netdev->name 0-255
CAPPED_DATA 0 nic->cbs_pool->size 1
CAPPED_DATA 0 nic->params.cbs.count 1
CAPPED_DATA 0 nic->params.rfds.count 1
DATA_SOURCE 0 nic $0
BIT_INFO 0 nic->msg_enable 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/intel/e100.c e100_io_slot_reset() -> e100_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->cmd_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex

drivers/net/ethernet/intel/e100.c e100_probe() -> e100_phy_init()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->blank_rfd.command 0
PARAM_VALUE 0 nic->blank_rfd.rbd u32max
PARAM_VALUE 0 nic->blank_rfd.size 1522
PARAM_VALUE 0 nic->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->csr 65536-131071
PARAM_VALUE 0 nic->mac 0-254
PARAM_VALUE 0 nic->mdio_ctrl 1444922926362083328
PARAM_VALUE 0 nic->mem 1-ptr_max
PARAM_VALUE 0 nic->mem->selftest.result 0
PARAM_VALUE 0 nic->mem->selftest.signature 0
PARAM_VALUE 0 nic->mem->stats.complete 0
PARAM_VALUE 0 nic->mem->stats.fc_rcv_pause 0
PARAM_VALUE 0 nic->mem->stats.fc_rcv_unsupported 0
PARAM_VALUE 0 nic->mem->stats.fc_xmt_pause 0
PARAM_VALUE 0 nic->mem->stats.rcv_tco_frames 0
PARAM_VALUE 0 nic->mem->stats.rx_alignment_errors 0
PARAM_VALUE 0 nic->mem->stats.rx_cdt_errors 0
PARAM_VALUE 0 nic->mem->stats.rx_crc_errors 0
PARAM_VALUE 0 nic->mem->stats.rx_good_frames 0
PARAM_VALUE 0 nic->mem->stats.rx_overrun_errors 0
PARAM_VALUE 0 nic->mem->stats.rx_resource_errors 0
PARAM_VALUE 0 nic->mem->stats.rx_short_frame_errors 0
PARAM_VALUE 0 nic->mem->stats.tx_deferred 0
PARAM_VALUE 0 nic->mem->stats.tx_good_frames 0
PARAM_VALUE 0 nic->mem->stats.tx_late_collisions 0
PARAM_VALUE 0 nic->mem->stats.tx_lost_crs 0
PARAM_VALUE 0 nic->mem->stats.tx_max_collisions 0
PARAM_VALUE 0 nic->mem->stats.tx_multiple_collisions 0
PARAM_VALUE 0 nic->mem->stats.tx_single_collisions 0
PARAM_VALUE 0 nic->mem->stats.tx_total_collisions 0
PARAM_VALUE 0 nic->mem->stats.tx_underruns 0
PARAM_VALUE 0 nic->mem->stats.xmt_tco_frames 0
PARAM_VALUE 0 nic->mii.dev 4096-ptr_max
PARAM_VALUE 0 nic->mii.mdio_read 3338836325324464128
PARAM_VALUE 0 nic->mii.mdio_write 2504063642007162880
PARAM_VALUE 0 nic->mii.phy_id_mask 31
PARAM_VALUE 0 nic->mii.reg_num_mask 31
PARAM_VALUE 0 nic->napi->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 nic->napi.dev 4096-ptr_max
PARAM_VALUE 0 nic->napi.dev_list.next 4096-ptr_max
PARAM_VALUE 0 nic->napi.dev_list.prev 4096-ptr_max
PARAM_VALUE 0 nic->napi.gro.bitmask 0
PARAM_VALUE 0 nic->napi.gro.cached_napi_id 0
PARAM_VALUE 0 nic->napi.gro.rx_count 0
PARAM_VALUE 0 nic->napi.gro.rx_list.next 4096-ptr_max
PARAM_VALUE 0 nic->napi.gro.rx_list.next->next 4096-ptr_max
PARAM_VALUE 0 nic->napi.gro.rx_list.prev 4096-ptr_max
PARAM_VALUE 0 nic->napi.gro.rx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nic->napi.gro.rx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nic->napi.irq (-1)
PARAM_VALUE 0 nic->napi.list_owner (-1)
PARAM_VALUE 0 nic->napi.napi_hash_node.next 0
PARAM_VALUE 0 nic->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 nic->napi.poll 6391264784858894336
PARAM_VALUE 0 nic->napi.poll_list.next 4096-ptr_max
PARAM_VALUE 0 nic->napi.poll_list.next->next 4096-ptr_max
PARAM_VALUE 0 nic->napi.poll_list.prev 4096-ptr_max
PARAM_VALUE 0 nic->napi.poll_list.prev->next 4096-ptr_max
PARAM_VALUE 0 nic->napi.poll_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 nic->napi.poll_owner (-1)
PARAM_VALUE 0 nic->napi.skb 0
PARAM_VALUE 0 nic->napi.thread 0,4096-ptr_max
PARAM_VALUE 0 nic->napi.thread->blocked_on 0
PARAM_VALUE 0 nic->napi.thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 nic->napi.thread->migration_disabled 0-1
PARAM_VALUE 0 nic->napi.thread->on_rq 0-1,3-255
PARAM_VALUE 0 nic->napi.thread->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 nic->napi.thread->saved_state 0
PARAM_VALUE 0 nic->napi.thread->wake_cpu 0-s32max
PARAM_VALUE 0 nic->napi.timer._softexpires 0
PARAM_VALUE 0 nic->napi.timer.base 4096-ptr_max
PARAM_VALUE 0 nic->napi.timer.function 1-u64max
PARAM_VALUE 0 nic->napi.timer.is_hard 0
PARAM_VALUE 0 nic->napi.timer.is_lazy 0
PARAM_VALUE 0 nic->napi.timer.is_queued 0
PARAM_VALUE 0 nic->napi.timer.is_rel 0
PARAM_VALUE 0 nic->napi.timer.is_soft 0
PARAM_VALUE 0 nic->napi.timer.node.expires 0
PARAM_VALUE 0 nic->napi.timer.node.node.next 0
PARAM_VALUE 0 nic->napi.timer.node.node.node.rb_left 0
PARAM_VALUE 0 nic->napi.timer.node.node.node.rb_right 0
PARAM_VALUE 0 nic->napi.timer.node.node.prev 0
PARAM_VALUE 0 nic->napi.weight 16
PARAM_VALUE 0 nic->netdev->ethtool_ops 7792697096945737728
PARAM_VALUE 0 nic->netdev->hw_features 0,4096-u64max
PARAM_VALUE 0 nic->netdev->netdev_ops 5597733649161568256
PARAM_VALUE 0 nic->netdev->priv_flags 0,16384-u32max
PARAM_VALUE 0 nic->netdev->threaded 0
PARAM_VALUE 0 nic->netdev->watchdog_timeo 500
PARAM_VALUE 0 nic->params.cbs.count 128
PARAM_VALUE 0 nic->params.cbs.max 256
PARAM_VALUE 0 nic->params.cbs.min 64
PARAM_VALUE 0 nic->params.rfds.count 256
PARAM_VALUE 0 nic->params.rfds.max 256
PARAM_VALUE 0 nic->params.rfds.min 16
PARAM_VALUE 0 nic->pdev 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nic->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 nic->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 nic->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 nic->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 nic->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 nic->pdev->driver 4096-ptr_max
PARAM_VALUE 0 nic->pdev->pcie_cap 0-1
PARAM_VALUE 0 nic->tx_command 7948,8204
PARAM_VALUE 0 nic->tx_threshold 224
PARAM_VALUE 0 nic->watchdog.entry.pprev 0
PARAM_VALUE 0 nic->watchdog.flags 0-4194302
PARAM_VALUE 0 nic->watchdog.lockdep_map->name 0-255
PARAM_VALUE 0 *nic->eeprom 0-3
PARAM_VALUE 0 *nic->netdev->name 0-255
BUF_SIZE 0 nic->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
FUZZY_MAX 0 nic->mac 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 nic->pdev->current_state 0-3[c]