Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd.c dwc2_queue_transaction() -> dwc2_hc_continue_transfer()

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->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 hsotg->dev->iommu_group->default_domain 0-s64max
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->do_ping 0
PARAM_VALUE 1 chan->halt_on_queue 0
PARAM_VALUE 1 chan->halt_pending 0
PARAM_VALUE 1 chan->xfer_started 1-255
CAPPED_DATA 1 chan->max_packet 1
DATA_SOURCE 0 hsotg $0
DATA_SOURCE 1 chan $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hsotg->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock

drivers/usb/dwc2/hcd.c dwc2_queue_transaction() -> dwc2_hc_continue_transfer()

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->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 hsotg->dev->iommu_group->default_domain 0-s64max
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->ep_is_in 1
PARAM_VALUE 1 chan->halt_on_queue 0
PARAM_VALUE 1 chan->halt_pending 0
PARAM_VALUE 1 chan->xfer_started 1-255
DATA_SOURCE 0 hsotg $0
DATA_SOURCE 1 chan $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hsotg->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock