Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 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
CAPPED_DATA 0 &hsotg->free_hc_list 1
DATA_SOURCE 0 hsotg $0
FUZZY_MAX 1 chan->align_buf 0
FUZZY_MAX 1 chan->do_split 0
FUZZY_MAX 1 chan->error_state 1
PARAM_COMPARE 0 &hsotg->free_hc_list != $0->free_hc_list.next
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