Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->adapter 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-2147483646
PARAM_VALUE 2 gfp 2080
CAPPED_DATA 0 rx->last_head 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 rx $0
PARAM_COMPARE 0 rx->last_head < $0->ring_size
PARAM_COMPARE 1 index < $0->ring_size
BIT_INFO 0 rx->vector_flags 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 index unit_array_size
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->adapter 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rx->adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rx->adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 rx->adapter->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
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->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.dma_mask 4096-ptr_max
PARAM_VALUE 0 rx->adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
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->frame_count 0
PARAM_VALUE 0 rx->head_cpu_ptr 1-ptr_max
PARAM_VALUE 0 rx->last_head 0
PARAM_VALUE 0 rx->ring_allocation_size 4096
PARAM_VALUE 0 rx->ring_cpu_ptr 1-ptr_max
PARAM_VALUE 0 rx->ring_size 128
PARAM_VALUE 1 index 0-127
PARAM_VALUE 2 gfp 3264
BUF_SIZE 0 rx->buffer_info 4096
BUF_SIZE 0 rx->head_cpu_ptr 4
BUF_SIZE 0 rx->ring_cpu_ptr 4096
CAPPED_DATA 0 &rx->adapter->pdev->dev 1
DATA_SOURCE 0 rx $0
FUZZY_MAX 1 index 127
PARAM_COMPARE 1 index < $0->ring_size
BIT_INFO 0 rx->head_dma_ptr 0x0,0xfffffffffffffffc
HARD_MAX 1 index 127
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 rx->ring_size
NO_OVERFLOW_SIMPLE 1 index
UNITS 1 index unit_array_size
HALF_LOCKED2 global &rtnl_mutex