Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/dwc2/hcd_ddma.c dwc2_complete_non_isoc_xfer_ddma() -> dwc2_process_non_isoc_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hsotg | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | hsotg->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->ep_type | 0,2-3 |
| PARAM_VALUE | 1 | chan->halt_status | 0-12,14-u32max |
| PARAM_VALUE | 1 | chan->qh | 1-u64max |
| PARAM_VALUE | 2 | chnum | 0-255 |
| PARAM_VALUE | 3 | qtd | 4096-ptr_max |
| PARAM_VALUE | 3 | qtd->urb->status | 0,4294967181,4294967221,4294967225,4294967264,4294967291 |
| PARAM_VALUE | 4 | desc_num | 0-s32max |
| PARAM_VALUE | 5 | halt_status | 1,6-7,9,11,13 |
| PARAM_VALUE | 6 | xfer_done | 3811840511336865792 |
| PARAM_VALUE | 6 | *xfer_done | 0-1 |
| CAPPED_DATA | 2 | chnum | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | chnum | $2 |
| DATA_SOURCE | 5 | halt_status | $3 |
| FUZZY_MAX | 4 | desc_num | 0 |
| FUZZY_MAX | 5 | halt_status | 13 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |