Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/google/gve/gve_main.c gve_napi_poll() -> gve_rx_work_pending()

Type Parameter Key Value
PARAM_VALUE 0 rx 1-u64max
PARAM_VALUE 0 rx->ctx.skb_tail->headers.inner_protocol 0-255
PARAM_VALUE 0 rx->desc.seqno 1-7
PARAM_VALUE 0 rx->gve->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 rx->gve->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 rx->gve->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 rx->xsk_pool->fq->cached_cons 0-4294967295
PARAM_VALUE 0 rx->xsk_pool->fq->cached_prod 0-4294967295
PARAM_VALUE 0 *rx->gve->dev->name 0-255
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/google/gve/gve_main.c gve_xsk_pool_disable() -> gve_rx_work_pending()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &xs->mutex
HALF_LOCKED2 global &rtnl_mutex