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] |