Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/virtio_blk.c virtblk_poll() -> virtblk_vbr_status()

Type Parameter Key Value
PARAM_VALUE 0 vbr 1-u64max
DATA_SOURCE 0 vbr r virtqueue_get_buf
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vbr->in_hdr.status 0-255
HOST_DATA 0 vbr->in_hdr.zone_append.sector 0-u64max
HOST_DATA 0 vbr->in_hdr.zone_append.status 0-255
HOST_DATA 0 vbr->in_hdr_len 0-u64max
HOST_DATA 0 vbr->out_hdr.ioprio 0-u32max
HOST_DATA 0 vbr->out_hdr.sector 0-u64max
HOST_DATA 0 vbr->out_hdr.type 0-u32max
HOST_DATA 0 vbr->sg_table.nents 0-u32max
HOST_DATA 0 vbr->sg_table.orig_nents 0-u32max
LOCK2 &vq->lock
LOCK2 flags
HALF_LOCKED2 &ctx->uring_lock
TYPE_LOCK (struct virtio_blk_vq)->lock

drivers/block/virtio_blk.c virtblk_request_done() -> virtblk_vbr_status()

Type Parameter Key Value
DATA_SOURCE 0 vbr r blk_mq_rq_to_pdu
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->lock
HALF_LOCKED2 flags