Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c virtnet_poll() -> virtnet_rx_dim_update()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 1 rq 4096-ptr_max
PARAM_VALUE 1 rq->dim_enabled 1
PARAM_VALUE 1 rq->napi.gro.rx_list.next->next 4096-ptr_max
PARAM_VALUE 1 rq->napi.gro.rx_list.next->prev 4096-ptr_max
PARAM_VALUE 1 rq->napi.gro.rx_list.prev->next 4096-ptr_max
PARAM_VALUE 1 rq->napi.gro.rx_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 rq->napi.gro.rx_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 rq->page_pool->p.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 1 rq->page_pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 1 rq->page_pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 rq->page_pool->p.dev->iommu->attach_deferred 0-1
PARAM_VALUE 1 rq->page_pool->p.dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 rq->page_pool->p.dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 rq->page_pool->p.dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 rq->page_pool->ring.producer_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rq->pages->_refcount.counter 1
PARAM_VALUE 1 rq->sg->dma_address 0
PARAM_VALUE 1 rq->sg->dma_flags 0-4294967295
PARAM_VALUE 1 rq->sg->dma_length 0-4294967295
PARAM_VALUE 1 rq->sg->length 0-4294967295
PARAM_VALUE 1 rq->sg->offset 0-4294967295
PARAM_VALUE 1 rq->sg->page_link 0
PARAM_VALUE 1 rq->vq 4096-ptr_max
PARAM_VALUE 1 rq->vq->vdev 4096-ptr_max
PARAM_VALUE 1 rq->vq->vdev->priv 4096-ptr_max
PARAM_VALUE 1 rq->vq->vdev->priv->dev 4096-ptr_max
PARAM_VALUE 1 rq->xsk_pool->fq->cached_cons 0-4294967295
PARAM_VALUE 1 rq->xsk_pool->fq->cached_prod 0-4294967295
PARAM_VALUE 1 rq->xsk_pool->fq->ring->consumer 0-4294967295
PARAM_VALUE 1 rq->xsk_pool->fq->ring->flags 0-4294967295
PARAM_VALUE 1 *rq->vq->vdev->priv->dev->name 0-255
PARAM_VALUE 1 *rq->xsk_buffs->flags 0
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
CAPPED_DATA 1 rq->vq->num_free 1
CAPPED_DATA 1 rq->vq->vdev->priv->dev->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 rq->vq->num_free
NO_OVERFLOW_SIMPLE 1 rq->xsk_pool->fq->ring->consumer
UNITS 0 vi unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read