Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd.c dwc2_hc_init() -> dwc2_hc_enable_ints()

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_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->align_buf 0-18446744073709551614
PARAM_VALUE 1 chan->do_split 0-1
PARAM_VALUE 1 chan->error_state 0-1
PARAM_VALUE 1 chan->halt_on_queue 0
PARAM_VALUE 1 chan->halt_pending 0
PARAM_VALUE 1 chan->halt_status 0
PARAM_VALUE 1 chan->hc_list_entry.next->prev 4096-ptr_max
PARAM_VALUE 1 chan->hc_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 1 chan->requests 0
PARAM_VALUE 1 chan->xact_pos 2-3
PARAM_VALUE 1 chan->xfer_count 0
PARAM_VALUE 1 chan->xfer_started 0
DATA_SOURCE 0 hsotg $0
DATA_SOURCE 1 chan $1
FUZZY_MAX 1 chan->align_buf 0
FUZZY_MAX 1 chan->do_split 0
FUZZY_MAX 1 chan->error_state 1
HARD_MAX 1 chan->error_state 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hsotg->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock