Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/virtio/virtio_ring.c virtqueue_get_buf() -> virtqueue_get_buf_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 4096-ptr_max |
| PARAM_VALUE | 2 | ctx | 0 |
| DATA_SOURCE | 0 | _vq | $0 |
| DATA_SOURCE | 1 | len | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *len | 0-u32max |
| HALF_LOCKED2 | &admin_vq->lock | ||
| HALF_LOCKED2 | &can_priv->tx_lock | ||
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | &data_vq->lock | ||
| HALF_LOCKED2 | &fsvq->lock | ||
| HALF_LOCKED2 | &nsm->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &port->inbuf_lock | ||
| HALF_LOCKED2 | &port->outvq_lock | ||
| HALF_LOCKED2 | &portdev->c_ivq_lock | ||
| HALF_LOCKED2 | &portdev->c_ovq_lock | ||
| HALF_LOCKED2 | &queue->lock | ||
| HALF_LOCKED2 | &vb->balloon_lock | ||
| HALF_LOCKED2 | &vcrypto->ctrl_lock | ||
| HALF_LOCKED2 | &vi->cvq_lock | ||
| HALF_LOCKED2 | &vi->lock | ||
| HALF_LOCKED2 | &vioch->lock | ||
| HALF_LOCKED2 | &viommu->request_lock | ||
| HALF_LOCKED2 | &viortc_vq->lock | ||
| HALF_LOCKED2 | &virtscsi_vq->vq_lock | ||
| HALF_LOCKED2 | &vpmem->pmem_lock | ||
| HALF_LOCKED2 | &vq->lock | ||
| HALF_LOCKED2 | &vrp->tx_lock | ||
| HALF_LOCKED2 | &vsock->event_lock | ||
| HALF_LOCKED2 | &vsock->rx_lock | ||
| HALF_LOCKED2 | &vsock->tx_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &hwsim_virtio_lock | ||
| HALF_LOCKED2 | irq |
drivers/net/virtio_net.c virtnet_rq_get_buf() -> virtqueue_get_buf_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _vq | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | _vq->vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 1 | len | $1 |
| DATA_SOURCE | 2 | ctx | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *len | 0-u32max |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |