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_alloc_split_dma_aligned_buf()

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->params.host_dma 1
PARAM_VALUE 1 qh 4096-ptr_max
PARAM_VALUE 1 qh->channel 4096-ptr_max
PARAM_VALUE 1 qh->do_split 1-255
PARAM_VALUE 2 chan 4096-ptr_max
PARAM_VALUE 2 chan->do_split 1
PARAM_VALUE 2 chan->ep_is_in 1
PARAM_VALUE 2 chan->error_state 0-1
PARAM_VALUE 2 chan->halt_on_queue 0
PARAM_VALUE 2 chan->halt_pending 0
PARAM_VALUE 2 chan->halt_status 0
PARAM_VALUE 2 chan->hc_list_entry.next->prev 4096-ptr_max
PARAM_VALUE 2 chan->hc_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 2 chan->multi_count 1
PARAM_VALUE 2 chan->requests 0
PARAM_VALUE 2 chan->xact_pos 2-3
PARAM_VALUE 2 chan->xfer_count 0
PARAM_VALUE 2 chan->xfer_dma 1-u64max
PARAM_VALUE 2 chan->xfer_started 0
CAPPED_DATA 0 &hsotg->free_hc_list 1
CAPPED_DATA 1 &qh->qtd_list 1
DATA_SOURCE 0 hsotg $0
DATA_SOURCE 1 qh $1
FUZZY_MAX 2 chan->error_state 1
PARAM_COMPARE 0 &hsotg->free_hc_list != $0->free_hc_list.next
PARAM_COMPARE 1 &qh->qtd_list != $1->qtd_list.next
HARD_MAX 2 chan->error_state 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hsotg->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct dwc2_hsotg)->lock