Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/dwc2/gadget.c dwc2_hsotg_start_req() -> dwc2_hsotg_write_fifo()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hsotg | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->params.g_dma | 0 |
| PARAM_VALUE | 1 | hs_ep | 4096-ptr_max |
| PARAM_VALUE | 1 | hs_ep->dir_in | 1-255 |
| PARAM_VALUE | 1 | hs_ep->fifo_load | 0 |
| PARAM_VALUE | 1 | hs_ep->req | 1-u64max |
| PARAM_VALUE | 1 | hs_ep->size_loaded | 0-4194240,4294901762-u32max |
| PARAM_VALUE | 2 | hs_req | 1-u64max |
| CAPPED_DATA | 2 | hs_req | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | hs_ep | $1 |
| DATA_SOURCE | 2 | hs_req | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hsotg->frame_number | 0-16383[c] |
| HOST_DATA | 1 | hs_ep->parent->frame_number | 0-16383[c] |
| HOST_DATA | 1 | hs_ep->target_frame | 0-16383[c] |
drivers/usb/dwc2/gadget.c dwc2_hsotg_trytx() -> dwc2_hsotg_write_fifo()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hsotg | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->num_of_eps | 1-255 |
| PARAM_VALUE | 1 | hs_ep | 4096-ptr_max |
| PARAM_VALUE | 1 | hs_ep->dir_in | 1-255 |
| PARAM_VALUE | 1 | hs_ep->req | 4096-ptr_max |
| PARAM_VALUE | 1 | hs_ep->req->req.actual | 0-4294967294 |
| PARAM_VALUE | 1 | hs_ep->req->req.length | 1-u32max |
| PARAM_VALUE | 2 | hs_req | 4096-ptr_max |
| PARAM_VALUE | 2 | hs_req->req.actual | 0-4294967294 |
| PARAM_VALUE | 2 | hs_req->req.length | 1-u32max |
| CAPPED_DATA | 2 | hs_req->req.actual | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | hs_ep | $1 |
| PARAM_COMPARE | 2 | hs_req->req.actual | < $2->req.length |
| CONSTRAINT | 2 | hs_req->req.actual | <3325 |