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_discard_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.next 4096-ptr_max
PARAM_VALUE 0 ring->pending_free.next->next 4096-ptr_max
PARAM_VALUE 0 ring->pending_free.next->prev 4096-ptr_max
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 5
BUF_SIZE 0 ring 128
BUF_SIZE 0 ring 128
DATA_SOURCE 0 ring $0
TASK_NOT_RUNNING