Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/chipidea/udc.c _hardware_enqueue() -> sglist_do_bounce()

Type Parameter Key Value
PARAM_VALUE 0 hwreq 4096-ptr_max
PARAM_VALUE 0 hwreq->queue.next 4096-ptr_max
PARAM_VALUE 0 hwreq->req.actual 0
PARAM_VALUE 0 hwreq->req.length 1-u32max
PARAM_VALUE 0 hwreq->req.num_sgs 1-u32max
PARAM_VALUE 0 hwreq->req.status (-114)
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 3 bounced 4395003439921397760
CAPPED_DATA 0 hwreq->req.num_sgs 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 hwreq $1
DATA_SOURCE 1 index r sglist_get_invalid_entry
PARAM_COMPARE 0 hwreq->req.num_sgs > $1
PARAM_COMPARE 1 index < $0->req.num_sgs
RX_PATH
TASK_NOT_RUNNING
UNITS 1 index unit_page
HALF_LOCKED2 &ci->lock
HALF_LOCKED2 flags
HALF_LOCKED2 hwep->lock