Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ring_req 4096-ptr_max
PARAM_VALUE 0 ring_req->act 1
PARAM_VALUE 0 ring_req->cmd_len 0-16
PARAM_VALUE 0 ring_req->rqid 0-15
PARAM_VALUE 0 ring_req->sc_data_direction 0-3
PARAM_VALUE 1 pending_req 4096-ptr_max
PARAM_VALUE 1 pending_req->cmd_len 0-16
PARAM_VALUE 1 pending_req->info 4096-ptr_max
PARAM_VALUE 1 pending_req->info->ring.nr_ents 1-u32max
PARAM_VALUE 1 pending_req->info->ring.sring 4096-ptr_max
PARAM_VALUE 1 pending_req->rqid 0-15
PARAM_VALUE 1 pending_req->sc_data_direction 0-3
PARAM_VALUE 1 pending_req->se_cmd.map_cpu 0
PARAM_VALUE 1 pending_req->se_cmd.map_tag 0-s32max
PARAM_VALUE 1 pending_req->se_cmd.se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 1 pending_req->v2p 4096-ptr_max
PARAM_VALUE 1 pending_req->v2p->tpg 4096-ptr_max
PARAM_VALUE 1 pending_req->v2p->v.chn 0-u16max
PARAM_VALUE 1 pending_req->v2p->v.lun 0-u16max
PARAM_VALUE 1 pending_req->v2p->v.tgt 0-u16max
PARAM_VALUE 1 *pending_req->grant_handles 0-4294967295
CAPPED_DATA 1 pending_req->se_cmd.map_tag 1
CAPPED_DATA 1 pending_req->v2p->v.chn 1
CAPPED_DATA 1 pending_req->v2p->v.lun 1
CAPPED_DATA 1 pending_req->v2p->v.tgt 1
DATA_SOURCE 1 pending_req r prepare_pending_reqs
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 pending_req->n_sg
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq