Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/alibaba/eea/eea_net.c eea_net_probe() -> eea_update_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->db_blk_size 8-512
PARAM_VALUE 0 edev->dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 edev->enet 4096-ptr_max
PARAM_VALUE 0 edev->enet->edev 4096-ptr_max
PARAM_VALUE 0 edev->enet->netdev 4096-ptr_max
PARAM_VALUE 0 edev->ep_dev 4096-ptr_max
PARAM_VALUE 0 edev->features 0
PARAM_VALUE 0 edev->rx_num 0-1000
PARAM_VALUE 0 edev->status 1-2
PARAM_VALUE 0 edev->tx_num 0-1000
PARAM_VALUE 1 enet 4096-ptr_max
PARAM_VALUE 1 enet->adminq.broken 0
PARAM_VALUE 1 enet->adminq.lock.dep_map->name 0-255
PARAM_VALUE 1 enet->adminq.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 enet->adminq.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 enet->adminq.lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 enet->adminq.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 enet->adminq.lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 enet->adminq.lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 enet->adminq.q_req_buf 16,4096-ptr_max
PARAM_VALUE 1 enet->adminq.q_req_size 0-64000
PARAM_VALUE 1 enet->adminq.q_res_buf 16,4096-ptr_max
PARAM_VALUE 1 enet->adminq.q_res_size 0-8000
PARAM_VALUE 1 enet->adminq.ring 4096-ptr_max
PARAM_VALUE 1 enet->adminq.ring->cq.desc 1-ptr_max
PARAM_VALUE 1 enet->adminq.ring->cq.desc_size 32
PARAM_VALUE 1 enet->adminq.ring->cq.desc_size_shift 0-31
PARAM_VALUE 1 enet->adminq.ring->cq.dma_size 1024-1048576
PARAM_VALUE 1 enet->adminq.ring->cq.phase 0,128
PARAM_VALUE 1 enet->adminq.ring->edev 4096-ptr_max
PARAM_VALUE 1 enet->adminq.ring->index 0-2000
PARAM_VALUE 1 enet->adminq.ring->name 3132876246783057920
PARAM_VALUE 1 enet->adminq.ring->num 64
PARAM_VALUE 1 enet->adminq.ring->sq.desc 1-ptr_max
PARAM_VALUE 1 enet->adminq.ring->sq.desc_size 32
PARAM_VALUE 1 enet->adminq.ring->sq.desc_size_shift 0-31
PARAM_VALUE 1 enet->adminq.ring->sq.dma_size 1024-1048576
PARAM_VALUE 1 enet->adminq.ring->sq.shadow_num 0
PARAM_VALUE 1 enet->cfg.rx_ring_depth 128-32768
PARAM_VALUE 1 enet->cfg.rx_ring_num 0-1000
PARAM_VALUE 1 enet->cfg.tx_ring_depth 128-32768
PARAM_VALUE 1 enet->cfg.tx_ring_num 0-1000
PARAM_VALUE 1 enet->cfg_hw.rx_ring_depth 128-32768
PARAM_VALUE 1 enet->cfg_hw.rx_ring_num 0-1000
PARAM_VALUE 1 enet->cfg_hw.split_hdr 128
PARAM_VALUE 1 enet->cfg_hw.tx_ring_depth 128-32768
PARAM_VALUE 1 enet->cfg_hw.tx_ring_num 0-1000
PARAM_VALUE 1 enet->duplex 255
PARAM_VALUE 1 enet->edev 4096-ptr_max
PARAM_VALUE 1 enet->edev->db_blk_size 8-512
PARAM_VALUE 1 enet->edev->dma_dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 enet->edev->dma_dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 enet->edev->dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 enet->edev->dma_dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 1 enet->edev->dma_dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 1 enet->edev->dma_dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 enet->edev->dma_dev->dma_uses_io_tlb 1
PARAM_VALUE 1 enet->edev->dma_dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 enet->edev->enet 0
PARAM_VALUE 1 enet->edev->ep_dev 4096-ptr_max
PARAM_VALUE 1 enet->edev->features 0
PARAM_VALUE 1 enet->edev->rx_num 0-1000
PARAM_VALUE 1 enet->edev->status 1-2
PARAM_VALUE 1 enet->edev->tx_num 0-1000
PARAM_VALUE 1 enet->irq_blks 16,4096-ptr_max
PARAM_VALUE 1 enet->netdev 4096-ptr_max
PARAM_VALUE 1 enet->netdev->ethtool_ops 4651646165782548480
PARAM_VALUE 1 enet->netdev->features 0,8388608-u64max
PARAM_VALUE 1 enet->netdev->hw_features 0,2-u64max
PARAM_VALUE 1 enet->netdev->max_mtu 68-u16max
PARAM_VALUE 1 enet->netdev->min_mtu 68
PARAM_VALUE 1 enet->netdev->mtu 68-u16max
PARAM_VALUE 1 enet->netdev->netdev_ops 6590068850775334912
PARAM_VALUE 1 enet->netdev->priv_flags 0,32768-u32max
PARAM_VALUE 1 enet->netdev->vlan_features 0,8388608-u64max
PARAM_VALUE 1 enet->speed u32max
PARAM_VALUE 1 *enet->netdev->name 0
CAPPED_DATA 0 edev->rx_num 1
CAPPED_DATA 0 edev->tx_num 1
CAPPED_DATA 1 enet->edev->rx_num 1
DATA_SOURCE 0 edev $0
DATA_SOURCE 1 enet r eea_netdev_alloc
PARAM_COMPARE 0 edev->rx_num == $0->tx_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 edev->ha_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 edev->ha_lock.owner.counter s64min-s64max
HOST_DATA 0 edev->tx_num 0-1000[c]
HOST_DATA 1 enet->adminq.ring->index 0-2000[c]
HOST_DATA 1 enet->edev->ha_lock.osq.tail.counter s32min-s32max
HOST_DATA 1 enet->edev->ha_lock.owner.counter s64min-s64max
HOST_DATA 1 enet->edev->tx_num 0-1000
HALF_LOCKED2 &edev->ha_lock
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/alibaba/eea/eea_net.c eea_net_reprobe() -> eea_update_ts_off()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->db_blk_size 8-512
PARAM_VALUE 0 edev->dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 edev->enet 4096-ptr_max
PARAM_VALUE 0 edev->enet->adminq.ring 1-u64max
PARAM_VALUE 0 edev->enet->edev 4096-ptr_max
PARAM_VALUE 0 edev->enet->edev->db_blk_size 8-512
PARAM_VALUE 0 edev->enet->edev->enet 1-u64max
PARAM_VALUE 0 edev->enet->edev->ep_dev 4096-ptr_max
PARAM_VALUE 0 edev->enet->edev->rx_num 0-1000
PARAM_VALUE 0 edev->enet->edev->status 1-2
PARAM_VALUE 0 edev->enet->edev->tx_num 0-1000
PARAM_VALUE 0 edev->enet->irq_blks 16,4096-ptr_max
PARAM_VALUE 0 edev->ep_dev 4096-ptr_max
PARAM_VALUE 0 edev->features 0
PARAM_VALUE 0 edev->rx_num 0-1000
PARAM_VALUE 0 edev->status 1-2
PARAM_VALUE 0 edev->tx_num 0-1000
PARAM_VALUE 1 enet 4096-ptr_max
PARAM_VALUE 1 enet->adminq.ring 1-u64max
PARAM_VALUE 1 enet->edev 4096-ptr_max
PARAM_VALUE 1 enet->edev->db_blk_size 8-512
PARAM_VALUE 1 enet->edev->dma_dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 enet->edev->enet 4096-ptr_max
PARAM_VALUE 1 enet->edev->ep_dev 4096-ptr_max
PARAM_VALUE 1 enet->edev->features 0
PARAM_VALUE 1 enet->edev->rx_num 0-1000
PARAM_VALUE 1 enet->edev->status 1-2
PARAM_VALUE 1 enet->edev->tx_num 0-1000
PARAM_VALUE 1 enet->irq_blks 16,4096-ptr_max
CAPPED_DATA 1 enet->edev->rx_num 1
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 edev->ha_lock.osq.tail.counter s32min-s32max
HOST_DATA 0 edev->ha_lock.owner.counter s64min-s64max
HOST_DATA 0 edev->tx_num 0-1000
HOST_DATA 1 enet->adminq.ring->index 0-2000[c]
HOST_DATA 1 enet->edev->ha_lock.osq.tail.counter s32min-s32max
HOST_DATA 1 enet->edev->ha_lock.owner.counter s64min-s64max
HOST_DATA 1 enet->edev->tx_num 0-1000
HALF_LOCKED2 &edev->ha_lock
HALF_LOCKED2 &pool->lock