Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/virtio_net.c mergeable_xdp_get_buf() -> xdp_linearize_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rq | 4096-ptr_max |
| 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->xdp_prog | 1-u64max |
| PARAM_VALUE | 1 | rq->xsk_pool | 0 |
| PARAM_VALUE | 2 | num_buf | 5506655325985005568 |
| PARAM_VALUE | 2 | *num_buf | 0-u16max |
| PARAM_VALUE | 5 | page_off | 256 |
| PARAM_VALUE | 6 | *len | 14-4194303 |
| CAPPED_DATA | 1 | rq->page_pool | 1 |
| DATA_SOURCE | 1 | rq | $1 |
| DATA_SOURCE | 2 | num_buf | $5 |
| DATA_SOURCE | 4 | offset | $7 |
| DATA_SOURCE | 6 | len | $8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | *num_buf | 0-u16max |
| HOST_DATA | 6 | *len | 14-4194303[c] |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh |
drivers/net/virtio_net.c receive_small_xdp() -> xdp_linearize_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rq | 4096-ptr_max |
| 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->xdp_prog | 1-u64max |
| PARAM_VALUE | 1 | rq->xsk_pool | 0 |
| PARAM_VALUE | 2 | num_buf | 1439284420975173632 |
| PARAM_VALUE | 2 | *num_buf | 1 |
| PARAM_VALUE | 5 | page_off | 320 |
| PARAM_VALUE | 6 | len | 2054091221741993984 |
| CAPPED_DATA | 1 | rq->vq->vdev->priv->dev->num_tx_queues | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | rq | $2 |
| DATA_SOURCE | 3 | p | r virt_to_head_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 6 | *len | 14-1773[c] |
| UNITS | 4 | offset | unit_byte |
| UNITS | 5 | page_off | unit_byte |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh |