Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/google/gve/gve_rx.c gve_rx_prefill_pages() -> gve_rx_alloc_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->queue_format | 1-2 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 2 | page_info | 4096-ptr_max |
| PARAM_VALUE | 3 | data_slot | 4096-ptr_max |
| PARAM_VALUE | 4 | rx | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.data_ring | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.page_info | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.qpl | 0,4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.raw_addressing | 1 |
| PARAM_VALUE | 4 | rx->gve | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->gve->queue_format | 1-2 |
| PARAM_VALUE | 4 | rx->mask | 0-65534,u32max |
| PARAM_VALUE | 4 | rx->qpl_copy_pool | 16,4096-ptr_max |
| PARAM_VALUE | 4 | rx->qpl_copy_pool_head | 0 |
| PARAM_VALUE | 4 | rx->qpl_copy_pool_mask | 0-131069,u32max |
| PARAM_VALUE | 4 | rx->rx_buf_alloc_fail | 0 |
| BUF_SIZE | 4 | rx | (-1)-0,8,16,512,1536 |
| BUF_SIZE | 4 | rx | (-1)-0,8,16,512,1536 |
| BUF_SIZE | 4 | rx->data.data_ring | 0-524280 |
| BUF_SIZE | 4 | rx->data.page_info | 32 |
| BUF_SIZE | 4 | rx->data.qpl | 0,24 |
| BUF_SIZE | 4 | rx->qpl_copy_pool | 32 |
| CAPPED_DATA | 4 | rx->q_num | 1 |
| CAPPED_DATA | 4 | rx->qpl_copy_pool_mask | 1 |
| DATA_SOURCE | 4 | rx | $0 |
| BIT_INFO | 4 | rx->q_num | 0x0,0x7fffffff |
| NOSPEC | 4 | rx->q_num | |
| MEM_ZERO | 4 | rx | |
| MEM_ZERO | 4 | rx->data.data_ring | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | rx->q_num | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 4 | rx->q_num |
drivers/net/ethernet/google/gve/gve_rx.c gve_rx_refill_buffers() -> gve_rx_alloc_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *priv->dev->name | 0-255 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | page_info | 4096-ptr_max |
| PARAM_VALUE | 2 | page_info->can_flip | 0 |
| PARAM_VALUE | 2 | page_info->netmem | 0 |
| PARAM_VALUE | 2 | page_info->page | 0 |
| PARAM_VALUE | 2 | page_info->pagecnt_bias | s32min-2147483646 |
| PARAM_VALUE | 3 | data_slot | 4096-ptr_max |
| PARAM_VALUE | 4 | rx | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->ctx.frag_cnt | 0 |
| PARAM_VALUE | 4 | rx->data.data_ring | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.page_info | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->data.raw_addressing | 1-255 |
| PARAM_VALUE | 4 | rx->desc.desc_ring | 4096-ptr_max |
| PARAM_VALUE | 4 | rx->xdp_actions | 4096-ptr_max |
| PARAM_VALUE | 4 | *rx->gve->dev->name | 0-255 |
| BUF_SIZE | 1 | dev | 1616 |
| CAPPED_DATA | 2 | page_info->pagecnt_bias | 1 |
| DATA_SOURCE | 0 | priv | $0 |
| DATA_SOURCE | 4 | rx | $1 |
| PARAM_COMPARE | 0 | &priv->pdev->dev | == $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |