Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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.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 1,3
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->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->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-3
PARAM_VALUE 0 *nic->netdev->name 0-255
PARAM_VALUE 1 rx 0
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_rx_clean() -> e100_start_receiver()

Type Parameter Key Value
PARAM_VALUE 0 nic 4096-ptr_max
PARAM_VALUE 0 nic->netdev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 nic->netdev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 nic->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 nic->ru_running 0
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->rx_to_use->prev 4096-ptr_max
PARAM_VALUE 0 nic->rx_to_use->prev->prev 4096-ptr_max
PARAM_VALUE 0 *nic->netdev->name 0-255
PARAM_VALUE 0 *nic->rx_to_clean->skb->cb 0-255
PARAM_VALUE 1 rx->prev 4096-ptr_max
PARAM_VALUE 1 *rx->skb->cb 0-255
DATA_SOURCE 0 nic $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e100.c e100_up() -> e100_start_receiver()

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.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->mem 4096-ptr_max
PARAM_VALUE 0 nic->mem->selftest.result u32max
PARAM_VALUE 0 nic->mem->selftest.signature 0
PARAM_VALUE 0 nic->netdev 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->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nic->netdev->priv->cuc_cmd 32
PARAM_VALUE 0 nic->netdev->priv->flags 0-4294967295
PARAM_VALUE 0 nic->netdev->priv->pdev->dev.dma_uses_io_tlb 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_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->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
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
PARAM_VALUE 1 rx 0
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
HALF_LOCKED2 global &rtnl_mutex