Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_rq_init() -> vmxnet3_rq_alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->page_pool 4096-ptr_max
PARAM_VALUE 0 rq->page_pool->disconnect 4544047857598550016
PARAM_VALUE 0 rq->page_pool->xdp_mem_id 0-s32max
PARAM_VALUE 0 rq->rx_ring 4096-ptr_max
PARAM_VALUE 0 rq->xdp_rxq.frag_size 0
PARAM_VALUE 0 rq->xdp_rxq.mem.id 0-s32max
PARAM_VALUE 0 rq->xdp_rxq.mem.type 0-3
PARAM_VALUE 0 rq->xdp_rxq.queue_index 0
PARAM_VALUE 0 rq->xdp_rxq.reg_state 1
PARAM_VALUE 1 ring_idx 0
PARAM_VALUE 3 adapter 4096-ptr_max
PARAM_VALUE 3 adapter->intr.msix_entries->vector 0-4294967295
PARAM_VALUE 3 adapter->netdev 1-u64max
PARAM_VALUE 3 adapter->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 3 adapter->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 3 adapter->num_rx_queues 1-u32max
PARAM_VALUE 3 adapter->num_tx_queues 0-s32max
PARAM_VALUE 3 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 3 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 3 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 3 adapter->rx_queue 4096-ptr_max
PARAM_VALUE 3 *adapter->netdev->name 0-255
CAPPED_DATA 3 adapter->num_tx_queues 1
DATA_SOURCE 0 rq $0
DATA_SOURCE 3 adapter $1
MEM_ZERO 0 &rq->xdp_rxq
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 adapter->rx_ts_desc_size 0-255
HOST_DATA 3 adapter->rxdata_desc_size 0-u16max
HOST_DATA 3 adapter->tx_ts_desc_size 0-255
HOST_DATA 3 adapter->txdata_desc_size 128-2048
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->group
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->proto_down
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->tx_queue_len
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_rq_init() -> vmxnet3_rq_alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
PARAM_VALUE 0 rq->page_pool 4096-ptr_max
PARAM_VALUE 0 rq->page_pool->disconnect 4544047857598550016
PARAM_VALUE 0 rq->page_pool->mp_priv->fired_notifs 0-4294967295
PARAM_VALUE 0 rq->page_pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rq->page_pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rq->page_pool->xdp_mem_id 0-s32max
PARAM_VALUE 0 rq->rx_ring 4096-ptr_max
PARAM_VALUE 0 rq->xdp_rxq.frag_size 0
PARAM_VALUE 0 rq->xdp_rxq.mem.id 0-s32max
PARAM_VALUE 0 rq->xdp_rxq.mem.type 0-3
PARAM_VALUE 0 rq->xdp_rxq.queue_index 0
PARAM_VALUE 0 rq->xdp_rxq.reg_state 1
PARAM_VALUE 1 ring_idx 1
PARAM_VALUE 3 adapter 4096-ptr_max
PARAM_VALUE 3 adapter->intr.msix_entries->vector 0-4294967295
PARAM_VALUE 3 adapter->netdev 1-u64max
PARAM_VALUE 3 adapter->netdev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 3 adapter->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 3 adapter->num_rx_queues 1-u32max
PARAM_VALUE 3 adapter->num_tx_queues 0-s32max
PARAM_VALUE 3 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 3 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 3 adapter->rx_queue 4096-ptr_max
PARAM_VALUE 3 *adapter->netdev->name 0-255
CAPPED_DATA 0 rq->page_pool 1
CAPPED_DATA 3 adapter->num_tx_queues 1
DATA_SOURCE 0 rq $0
DATA_SOURCE 3 adapter $1
MEM_ZERO 0 &rq->xdp_rxq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 3 adapter->rx_ts_desc_size 0-255
HOST_DATA 3 adapter->rxdata_desc_size 0-u16max
HOST_DATA 3 adapter->tx_ts_desc_size 0-255
HOST_DATA 3 adapter->txdata_desc_size 128-2048
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->group
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->proto_down
NO_OVERFLOW_SIMPLE 0 rq->xdp_rxq.dev->tx_queue_len
HALF_LOCKED2 global &rtnl_mutex