Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/gadget.c dwc2_hsotg_ep_queue() -> dwc2_hsotg_handle_unaligned_buf_start()

Type Parameter Key Value
PARAM_VALUE 0 hsotg 4096-ptr_max
PARAM_VALUE 0 hsotg->lx_state 0
PARAM_VALUE 1 hs_ep 4096-ptr_max
PARAM_VALUE 1 hs_ep->parent 4096-ptr_max
PARAM_VALUE 2 hs_req 4096-ptr_max
PARAM_VALUE 2 hs_req->queue.next 4096-ptr_max
PARAM_VALUE 2 hs_req->queue.next->next 4096-ptr_max
PARAM_VALUE 2 hs_req->queue.prev 4096-ptr_max
PARAM_VALUE 2 hs_req->queue.prev->next 4096-ptr_max
PARAM_VALUE 2 hs_req->queue.prev->prev 4096-ptr_max
DATA_SOURCE 1 hs_ep r our_ep
DATA_SOURCE 2 hs_req r our_req
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hs->lock
HALF_LOCKED2 &hsotg->lock