Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/virtio_blk.c virtblk_prep_rq_batch() -> virtblk_prep_rq()

Type Parameter Key Value
PARAM_VALUE 0 hctx 4096-ptr_max
PARAM_VALUE 0 hctx->queue 4096-ptr_max
PARAM_VALUE 2 req 4096-ptr_max
PARAM_VALUE 2 req->mq_hctx 4096-ptr_max
PARAM_VALUE 2 req->mq_hctx->queue 4096-ptr_max
PARAM_VALUE 2 req->rq_next 0
BUF_SIZE 1 vblk 128,736,792,816,1000-s32max
BUF_SIZE 1 vblk 128,736,792,816,1000-s32max
DATA_SOURCE 2 req $0
DATA_SOURCE 3 vbr r blk_mq_rq_to_pdu
RX_PATH
TASK_NOT_RUNNING
UNITS 1 vblk unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 hctx 4096-ptr_max
PARAM_VALUE 0 hctx->queue 4096-ptr_max
PARAM_VALUE 2 req 4096-ptr_max
BUF_SIZE 1 vblk 128,736,792,816,1000-s32max
BUF_SIZE 1 vblk 128,736,792,816,1000-s32max
DATA_SOURCE 0 hctx $0
DATA_SOURCE 3 vbr r blk_mq_rq_to_pdu
RX_PATH
TASK_NOT_RUNNING
UNITS 1 vblk unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read