Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd_ddma.c dwc2_hcd_start_xfer_ddma() -> dwc2_init_isoc_dma_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->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.dma_desc_enable 1
PARAM_VALUE 0 hsotg->params.host_dma 1
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 qh 4096-ptr_max
PARAM_VALUE 1 qh->channel 4096-ptr_max
PARAM_VALUE 2 skip_frames 0-1,8,16
DATA_SOURCE 0 hsotg $0
DATA_SOURCE 1 qh $1
FUZZY_MAX 2 skip_frames 0
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