Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/virtio_blk.c virtblk_add_req_batch() -> virtblk_add_req()

Type Parameter Key Value
DATA_SOURCE 1 vbr r blk_mq_rq_to_pdu
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->lock
LOCK2 flags
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct virtio_blk_vq)->lock

drivers/block/virtio_blk.c virtio_queue_rq() -> virtblk_add_req()

Type Parameter Key Value
PARAM_VALUE 1 vbr 4096-ptr_max
PARAM_VALUE 1 vbr->in_hdr_len 1,16
PARAM_VALUE 1 vbr->out_hdr.ioprio 0-u16max
PARAM_VALUE 1 vbr->out_hdr.type 0-1,4,11,13-15,18,20,22,24,26
PARAM_VALUE 1 vbr->sg_table.nents 0-s32max
PARAM_VALUE 1 vbr->sg_table.orig_nents 0-u16max
PARAM_VALUE 1 vbr->sg_table.sgl->dma_address 0
PARAM_VALUE 1 vbr->sg_table.sgl->dma_flags 0
PARAM_VALUE 1 vbr->sg_table.sgl->dma_length 0
PARAM_VALUE 1 vbr->sg_table.sgl->length 0
PARAM_VALUE 1 vbr->sg_table.sgl->offset 0
PARAM_VALUE 1 vbr->sg_table.sgl->page_link 0
DATA_SOURCE 1 vbr r blk_mq_rq_to_pdu
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read