Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microchip/lan743x_main.c lan743x_rx_init_ring_element() -> lan743x_rx_update_tail()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->adapter 4096-ptr_max
PARAM_VALUE 0 rx->adapter->netdev 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 rx->adapter->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rx->adapter->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 rx->adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rx->buffer_info 4096-ptr_max
PARAM_VALUE 0 rx->head_cpu_ptr 1-ptr_max
PARAM_VALUE 0 rx->last_head 0-2147483646
PARAM_VALUE 0 rx->ring_cpu_ptr 4096-ptr_max
PARAM_VALUE 0 rx->ring_size 1-s32max
PARAM_VALUE 0 *rx->adapter->netdev->name 0-255
PARAM_VALUE 1 index 0-2147483646
BUF_SIZE 0 rx->buffer_info (-1),4096
BUF_SIZE 0 rx->head_cpu_ptr (-1),4
BUF_SIZE 0 rx->ring_cpu_ptr (-1),4096
CAPPED_DATA 0 rx->last_head 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 rx $0
DATA_SOURCE 1 index $1
FUZZY_MAX 1 index 127
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx->ring_size
NO_OVERFLOW_SIMPLE 1 index
UNITS 1 index unit_array_size

drivers/net/ethernet/microchip/lan743x_main.c lan743x_rx_reuse_ring_element() -> lan743x_rx_update_tail()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->adapter 4096-ptr_max
PARAM_VALUE 0 rx->adapter->netdev 4096-ptr_max
PARAM_VALUE 0 rx->buffer_info 4096-ptr_max
PARAM_VALUE 0 rx->head_cpu_ptr 4096-ptr_max
PARAM_VALUE 0 rx->last_head 0-2147483646
PARAM_VALUE 0 rx->ring_cpu_ptr 4096-ptr_max
PARAM_VALUE 0 rx->ring_size 1-s32max
PARAM_VALUE 0 *rx->adapter->netdev->name 0-255
PARAM_VALUE 0 *rx->head_cpu_ptr 0-2147483646
PARAM_VALUE 1 index 0-s32max
CAPPED_DATA 0 rx->last_head 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 rx $0
DATA_SOURCE 1 index $1
BIT_INFO 0 rx->vector_flags 0x0,0xffffffff
RX_PATH
NOCHECK_CALL
UNITS 1 index unit_array_size
USER_PTR 0 rx->skb_head->data
USER_PTR 0 rx->skb_tail->data
USER_PTR 0 rx->skb_tail->next->data