Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/xen-scsiback.c scsiback_do_cmd_fn() -> prepare_pending_reqs()

Type Parameter Key Value
PARAM_VALUE 0 info->ring.nr_ents 1-u32max
PARAM_VALUE 0 info->ring.sring 4096-ptr_max
PARAM_VALUE 0 info->ring.sring->ring 4096-ptr_max
PARAM_VALUE 1 ring 4096-ptr_max
PARAM_VALUE 1 ring->nr_ents 1-u32max
PARAM_VALUE 1 ring->sring 4096-ptr_max
PARAM_VALUE 1 ring->sring->ring 4096-ptr_max
PARAM_VALUE 2 ring_req 4096-ptr_max
BUF_SIZE 1 ring 24
DATA_SOURCE 0 info $0 [m]
PARAM_COMPARE 0 &info->ring == $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq