Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/intel/igb/igb_main.c igb_clean_rx_irq() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->xsk_pool 0
PARAM_VALUE 0 *rx_ring->q_vector->adapter->netdev->name 0-255
PARAM_VALUE 1 cleaned_count 16-u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/igb/igb_main.c igb_clean_rx_irq() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->xsk_pool 0
PARAM_VALUE 0 *rx_ring->q_vector->adapter->netdev->name 0-255
PARAM_VALUE 1 cleaned_count 1-u16max
BUF_SIZE 0 rx_ring->skb (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx_ring->skb->end
USER_PTR 0 rx_ring->skb->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/igb/igb_main.c igb_configure() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->xsk_pool 0
CAPPED_DATA 0 rx_ring->next_to_clean 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/igb/igb_xsk.c igb_txrx_ring_enable() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->rx_buffer_info->dma 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->page 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->page_offset 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->pagecnt_bias 0
PARAM_VALUE 0 rx_ring->tail 4096-ptr_max
PARAM_VALUE 0 rx_ring->xdp_rxq.mem.type 0-3
PARAM_VALUE 0 rx_ring->xsk_pool 0
PARAM_VALUE 0 rx_ring->xsk_pool->dev 1-u64max
PARAM_VALUE 0 *rx_ring->tail 0-255
CAPPED_DATA 0 rx_ring->next_to_clean 1
CAPPED_DATA 0 rx_ring->queue_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.queue_index
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &xs->mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/igb/igb_ethtool.c igb_clean_test_rings() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->count 256
PARAM_VALUE 0 rx_ring->desc 4096-ptr_max
PARAM_VALUE 0 rx_ring->dev 4096-ptr_max
PARAM_VALUE 0 rx_ring->netdev 4096-ptr_max
PARAM_VALUE 0 rx_ring->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 rx_ring->size 0,4096-1048576
PARAM_VALUE 0 rx_ring->tail 4096-ptr_max
PARAM_VALUE 0 rx_ring->xdp_rxq.dev 0
PARAM_VALUE 0 rx_ring->xdp_rxq.mem.type 0-3
PARAM_VALUE 0 rx_ring->xdp_rxq.reg_state 1
PARAM_VALUE 0 rx_ring->xsk_pool 0,4096-ptr_max
BUF_SIZE 0 rx_ring 4096
CAPPED_DATA 0 rx_ring->queue_index 1
DATA_SOURCE 0 rx_ring $0
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/igb/igb_ethtool.c igb_setup_desc_rings() -> igb_alloc_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_ring 4096-ptr_max
PARAM_VALUE 0 rx_ring->count 256
PARAM_VALUE 0 rx_ring->desc 1-ptr_max
PARAM_VALUE 0 rx_ring->dev 4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->class 0,4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rx_ring->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rx_ring->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 rx_ring->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 rx_ring->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rx_ring->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rx_ring->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 rx_ring->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 rx_ring->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 rx_ring->dev->iommu->pci_32bit_workaround 0
PARAM_VALUE 0 rx_ring->netdev 4096-ptr_max
PARAM_VALUE 0 rx_ring->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 rx_ring->netdev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736
PARAM_VALUE 0 rx_ring->next_to_alloc 0
PARAM_VALUE 0 rx_ring->next_to_clean 0
PARAM_VALUE 0 rx_ring->next_to_use 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->dma 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->page 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->page_offset 0
PARAM_VALUE 0 rx_ring->rx_buffer_info->pagecnt_bias 0
PARAM_VALUE 0 rx_ring->size 0,4096-1048576
PARAM_VALUE 0 rx_ring->tail 4096-ptr_max
PARAM_VALUE 0 rx_ring->xdp_rxq.dev 0
PARAM_VALUE 0 rx_ring->xdp_rxq.frag_size 0
PARAM_VALUE 0 rx_ring->xdp_rxq.mem.type 0-3
PARAM_VALUE 0 rx_ring->xdp_rxq.queue_index 0
PARAM_VALUE 0 rx_ring->xdp_rxq.reg_state 1
PARAM_VALUE 0 rx_ring->xsk_pool 0,4096-ptr_max
PARAM_VALUE 0 rx_ring->xsk_pool->dev 1-u64max
PARAM_VALUE 0 *rx_ring->tail 0-255
PARAM_VALUE 1 cleaned_count 255
BUF_SIZE 0 rx_ring 4096
BUF_SIZE 0 rx_ring->dev 1616
CAPPED_DATA 0 rx_ring->dev 1
CAPPED_DATA 0 rx_ring->netdev->real_num_rx_queues 1
CAPPED_DATA 0 rx_ring->queue_index 1
PARAM_COMPARE 0 rx_ring->next_to_clean == $0->next_to_use
MEM_ZERO 0 &rx_ring->xdp_rxq
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.dev->group
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.dev->proto_down
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 rx_ring->xdp_rxq.queue_index