Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/google/gve/gve_rx.c gve_rx_qpl() -> gve_rx_copy_to_pool()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->ctx.drop_pkt | 0 |
| PARAM_VALUE | 0 | rx->data.data_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->data.page_info | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->data.qpl | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->data.qpl->page_buses | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->data.raw_addressing | 0 |
| PARAM_VALUE | 0 | rx->desc.desc_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->desc.seqno | 0-7 |
| PARAM_VALUE | 0 | rx->gve | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->gve->ntfy_blocks | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->gve->pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->xdp_actions | 4096-ptr_max |
| PARAM_VALUE | 0 | rx->xsk_pool->fq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | rx->xsk_pool->fq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 1 | page_info | 4096-ptr_max |
| PARAM_VALUE | 1 | page_info->can_flip | 0 |
| PARAM_VALUE | 1 | page_info->pad | 0,2 |
| PARAM_VALUE | 1 | page_info->page | 4096-ptr_max |
| PARAM_VALUE | 3 | napi | 4096-ptr_max |
| BUF_SIZE | 3 | napi | 560 |
| CAPPED_DATA | 0 | rx->desc.seqno | 1 |
| CAPPED_DATA | 1 | page_info->pagecnt_bias | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | rx | $2 |
| DATA_SOURCE | 1 | page_info | $3 |
| DATA_SOURCE | 2 | len | $4 |
| DATA_SOURCE | 3 | napi | $5 |
| FUZZY_MAX | 1 | page_info->pad | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |