Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/e100.c e100_down() -> e100_hw_reset()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->napi.config 0,4096-ptr_max
PARAM_VALUE 0 nic->napi.dev 4096-ptr_max
PARAM_VALUE 0 nic->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 nic->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 nic->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 nic->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 nic->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 nic->napi.timer.is_queued 0
PARAM_VALUE 0 nic->napi.timer.node.node.next 0
PARAM_VALUE 0 nic->napi.timer.node.node.prev 0
PARAM_VALUE 0 nic->netdev 4096-ptr_max
PARAM_VALUE 0 *nic->eeprom 0-u16max
PARAM_VALUE 0 *nic->netdev->name 0-255
CAPPED_DATA 0 nic->napi.timer.base 1
CAPPED_DATA 0 nic->netdev->num_tx_queues 1
DATA_SOURCE 0 nic $0
PARAM_COMPARE 0 &nic->napi.timer != $0->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

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

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->cuc_cmd 16
PARAM_VALUE 0 nic->mem->selftest.result 0,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
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex

drivers/net/ethernet/intel/e100.c e100_loopback_test() -> e100_hw_reset()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->cb_to_clean 0
PARAM_VALUE 0 nic->cb_to_send 0
PARAM_VALUE 0 nic->cb_to_use 0
PARAM_VALUE 0 nic->cbs 0
PARAM_VALUE 0 nic->cbs_avail 0
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.first_waiter->list.prev->prev 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_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->cbs_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 nic->cbs_pool->dev->iommu->pci_32bit_workaround 0-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->flags 1-u32max
PARAM_VALUE 0 nic->loopback 0
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->mii.mdio_read 4096-ptr_max
PARAM_VALUE 0 nic->netdev->priv->cb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->prev->command 0-49151
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.byte_count 22,32
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.direct_rx_dma 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.fc_delay_hi 64
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.fc_priority_location 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.fc_priority_threshold 7
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.full_duplex_pin 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.ifs 6
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.ip_addr_hi 242
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.no_source_addr_insertion 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad10 6
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad15_1 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad15_2 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad18 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad20_1 31
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.pad21_1 5
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.preamble_length 2
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.rx_fifo_limit 8
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.tx_padding 1
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.config.tx_underrun_retry 3
PARAM_VALUE 0 nic->netdev->priv->cb_to_use->u.tcb.tbd_count 1
PARAM_VALUE 0 nic->netdev->priv->cbs_avail 0-4294967295
PARAM_VALUE 0 nic->netdev->priv->cuc_cmd 32
PARAM_VALUE 0 nic->netdev->priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 nic->netdev->priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 nic->netdev->priv->tx_command 0-u16max
PARAM_VALUE 0 nic->netdev->priv->tx_threshold 0-255
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_uses_io_tlb 1
PARAM_VALUE 0 nic->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 nic->ru_running 0-1
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_clean->skb 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->cb_to_clean->skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *nic->eeprom 0-3
PARAM_VALUE 0 *nic->netdev->name 0-255
PARAM_VALUE 0 *nic->netdev->priv->cb_to_use->u.iaaddr 0-255
PARAM_VALUE 0 *nic->netdev->priv->cb_to_use->u.ucode 0-4294967295
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
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

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

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->csr 65536-131071
PARAM_VALUE 0 nic->mac 0-254
PARAM_VALUE 0 nic->mdio_ctrl 1444922926362083328
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->driver 4096-ptr_max
PARAM_VALUE 0 nic->tx_command 7948,8204
PARAM_VALUE 0 nic->tx_threshold 224
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]