Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/xen-blkback/blkback.c __do_block_io_op() -> dispatch_rw_block_io()

Type Parameter Key Value
PARAM_VALUE 0 ring 4096-ptr_max
PARAM_VALUE 0 ring->blk_rings.common.sring 4096-ptr_max
PARAM_VALUE 0 ring->blkif 4096-ptr_max
PARAM_VALUE 0 ring->blkif->blk_protocol 1-3
PARAM_VALUE 0 ring->blkif->vbd.discard_secure 1
PARAM_VALUE 0 ring->pending_free_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ring->waiting_reqs 0
PARAM_VALUE 1 req 6811351082794176512
PARAM_VALUE 1 req->operation 0-3,6
PARAM_VALUE 2 pending_req 4096-ptr_max
BUF_SIZE 0 ring 128
BUF_SIZE 0 ring 128
DATA_SOURCE 0 ring $0
DATA_SOURCE 2 pending_req r alloc_req
PARAM_COMPARE 0 &ring->pending_free != $0->pending_free.next
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 pending_req->ring->st_rd_sect
NO_OVERFLOW_SIMPLE 2 pending_req->ring->st_wr_sect