Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/dwc2/hcd.c dwc2_hc_continue_transfer() -> dwc2_hc_write_packet()
| 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->dev->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hsotg->dev->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->dev->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->flags | 0-4294967295 |
| PARAM_VALUE | 0 | hsotg->wq_otg->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->wq_dev | 0-s64max |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->data_pid_start | 0-2 |
| PARAM_VALUE | 1 | chan->do_ping | 0 |
| PARAM_VALUE | 1 | chan->do_split | 0 |
| PARAM_VALUE | 1 | chan->ep_is_in | 0 |
| PARAM_VALUE | 1 | chan->halt_on_queue | 0 |
| PARAM_VALUE | 1 | chan->halt_pending | 0 |
| PARAM_VALUE | 1 | chan->xfer_count | 0-4294967294 |
| PARAM_VALUE | 1 | chan->xfer_len | 1-u32max |
| PARAM_VALUE | 1 | chan->xfer_started | 1-255 |
| CAPPED_DATA | 1 | chan->max_packet | 1 |
| CAPPED_DATA | 1 | chan->xfer_count | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| PARAM_COMPARE | 1 | chan->xfer_count | < $1->xfer_len |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd.c dwc2_hc_start_transfer() -> dwc2_hc_write_packet()
| 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->dev->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hsotg->dev->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->dev->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->gadget.dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 0 |
| PARAM_VALUE | 0 | hsotg->wq_otg->flags | 0-4294967295 |
| PARAM_VALUE | 0 | hsotg->wq_otg->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->nr_drainers | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->work_color | s32min-s32max |
| PARAM_VALUE | 0 | hsotg->wq_otg->wq_dev | 0-s64max |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->do_ping | 0 |
| PARAM_VALUE | 1 | chan->ep_is_in | 0 |
| PARAM_VALUE | 1 | chan->halt_on_queue | 0 |
| PARAM_VALUE | 1 | chan->halt_pending | 0 |
| PARAM_VALUE | 1 | chan->qh->next_active_frame | 0-16383 |
| PARAM_VALUE | 1 | chan->xfer_len | 1-u32max |
| PARAM_VALUE | 1 | chan->xfer_started | 1 |
| CAPPED_DATA | 1 | chan->max_packet | 1 |
| CAPPED_DATA | 1 | chan->start_pkt_count | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| FUZZY_MAX | 1 | chan->xfer_len | 188 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |