Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/google/gve/gve_rx.c gve_clean_rx_done() -> gve_rx_write_doorbell()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *priv->dev->name | 0-255 |
| PARAM_VALUE | 1 | rx | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->ctx.frag_cnt | 0 |
| PARAM_VALUE | 1 | rx->data.raw_addressing | 1-255 |
| PARAM_VALUE | 1 | rx->desc.desc_ring | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->gve->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->gve->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->xdp_actions | 4096-ptr_max |
| PARAM_VALUE | 1 | *rx->gve->dev->name | 0-255 |
| DATA_SOURCE | 1 | rx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rx->xsk_pool->fq->ring->consumer | |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/google/gve/gve_rx.c gve_clean_rx_done() -> gve_rx_write_doorbell()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *priv->dev->name | 0-255 |
| PARAM_VALUE | 1 | rx | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->ctx.frag_cnt | 0 |
| PARAM_VALUE | 1 | rx->desc.desc_ring | 4096-ptr_max |
| PARAM_VALUE | 1 | rx->xdp_actions | 4096-ptr_max |
| PARAM_VALUE | 1 | *rx->gve->dev->name | 0-255 |
| DATA_SOURCE | 1 | rx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | rx->xsk_pool->fq->ring->consumer | |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/google/gve/gve_main.c gve_create_rings() -> gve_rx_write_doorbell()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->adminq_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | priv->adminq_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | priv->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | priv->dev->num_tc | 0 |
| PARAM_VALUE | 0 | priv->dev->num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | priv->dev->real_num_rx_queues | 1-u16max |
| PARAM_VALUE | 0 | priv->dev->real_num_tx_queues | 1-u16max |
| PARAM_VALUE | 0 | priv->dev->threaded | 0 |
| PARAM_VALUE | 0 | priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | priv->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | priv->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | priv->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | priv->queue_format | 1-2 |
| PARAM_VALUE | 0 | priv->rx | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->rx_cfg.num_queues | 1-u16max |
| PARAM_VALUE | 0 | priv->tx | 16,4096-ptr_max |
| PARAM_VALUE | 0 | *priv->dev->name | 0-255 |
| PARAM_VALUE | 0 | *priv->dev->prio_tc_map | 0 |
| PARAM_VALUE | 1 | rx | 4096-ptr_max |
| CAPPED_DATA | 0 | priv->dev->real_num_rx_queues | 1 |
| CAPPED_DATA | 0 | priv->dev->real_num_tx_queues | 1 |
| CAPPED_DATA | 0 | priv->rx_cfg.num_queues | 1 |
| CAPPED_DATA | 0 | priv->tx_cfg.num_queues | 1 |
| DATA_SOURCE | 0 | priv | $0 |
| CONSTRAINT | 0 | priv | <=3121 |
| BIT_INFO | 0 | priv->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | priv->rx_pages_per_qpl | |
| NO_OVERFLOW_SIMPLE | 0 | priv->tx_pages_per_qpl |
drivers/net/ethernet/google/gve/gve_main.c gve_rx_queue_start() -> gve_rx_write_doorbell()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->adminq_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | priv->adminq_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | priv->adminq_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | priv->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->dev->threaded | 0 |
| PARAM_VALUE | 0 | priv->queue_format | 1-2 |
| PARAM_VALUE | 0 | priv->rx | 4096-ptr_max |
| PARAM_VALUE | 0 | *priv->dev->name | 0-255 |
| PARAM_VALUE | 1 | rx | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &dev->lock |