Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/dwc2/hcd_intr.c dwc2_complete_non_periodic_xfer() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->ep_is_in | 0 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->error_count | 0 |
| PARAM_VALUE | 2 | qtd->urb | 0,4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 1-2 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| DATA_SOURCE | 3 | halt_status | $4 |
| FUZZY_MAX | 3 | halt_status | 2 |
| BIT_INFO | 1 | chan->hcint | 0x0,0xffffffff |
| HARD_MAX | 3 | halt_status | 2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_complete_periodic_xfer() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->error_count | 0 |
| PARAM_VALUE | 2 | qtd->urb | 0,4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 1-2 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| DATA_SOURCE | 3 | halt_status | $4 |
| FUZZY_MAX | 3 | halt_status | 2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_halt_channel() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 0-9,12 |
| CAPPED_DATA | 2 | qtd | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $2 |
| DATA_SOURCE | 3 | halt_status | $3 |
| FUZZY_MAX | 3 | halt_status | 2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_hc_chhltd_intr() -> dwc2_release_channel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hsotg | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 0 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->halt_status | 1-u32max |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 1-u32max |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_hc_chhltd_intr_dma() -> dwc2_release_channel()
| 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->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | hsotg->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | hsotg->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->halt_status | 11,13 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 11,13 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| FUZZY_MAX | 1 | chan->halt_status | 13 |
| FUZZY_MAX | 3 | halt_status | 13 |
| BIT_INFO | 1 | chan->halt_status | 0x9,0xf |
| BIT_INFO | 3 | halt_status | 0x9,0xf |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_hc_n_intr() -> dwc2_release_channel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hsotg | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->halt_status | 13 |
| PARAM_VALUE | 1 | chan->qh | 1-u64max |
| PARAM_VALUE | 2 | qtd | 0 |
| PARAM_VALUE | 3 | halt_status | 13 |
| DATA_SOURCE | 0 | hsotg | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_hc_nyet_intr() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->complete_split | 1-255 |
| PARAM_VALUE | 1 | chan->do_split | 1-255 |
| PARAM_VALUE | 1 | chan->ep_is_in | 1 |
| PARAM_VALUE | 1 | chan->ep_type | 1 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->complete_split | 0 |
| PARAM_VALUE | 2 | qtd->isoc_split_offset | 0 |
| PARAM_VALUE | 2 | qtd->urb | 0,4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb->packet_count | 0-u16max |
| PARAM_VALUE | 2 | qtd->urb->priv | 0 |
| PARAM_VALUE | 2 | qtd->urb->priv->setup_packet | 0-255 |
| PARAM_VALUE | 2 | qtd->urb->priv->start_frame | 0-u16max |
| PARAM_VALUE | 2 | qtd->urb->priv->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 2 | qtd->urb->priv->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 3 | halt_status | 2 |
| CAPPED_DATA | 2 | qtd | 1 |
| CAPPED_DATA | 2 | qtd->isoc_frame_index | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_hc_nyet_intr() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->complete_split | 1-255 |
| PARAM_VALUE | 1 | chan->do_split | 1-255 |
| PARAM_VALUE | 1 | chan->ep_is_in | 1 |
| PARAM_VALUE | 1 | chan->ep_type | 1 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->complete_split | 0 |
| PARAM_VALUE | 2 | qtd->isoc_split_offset | 0 |
| PARAM_VALUE | 2 | qtd->urb | 0,4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 0 |
| CAPPED_DATA | 2 | qtd | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | hsotg->unaligned_cache->object_size | |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_xfercomp_isoc_split_in() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->ep_is_in | 1 |
| PARAM_VALUE | 1 | chan->ep_type | 1 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->qh->do_split | 1-255 |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb | 0,4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb->iso_descs | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb->packet_count | 0-u16max |
| PARAM_VALUE | 2 | qtd->urb->priv | 0 |
| PARAM_VALUE | 2 | qtd->urb->priv->setup_packet | 0-255 |
| PARAM_VALUE | 2 | qtd->urb->priv->start_frame | 0-u16max |
| PARAM_VALUE | 2 | qtd->urb->priv->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 2 | qtd->urb->priv->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 3 | halt_status | 2 |
| CAPPED_DATA | 2 | qtd->isoc_frame_index | 1 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |
drivers/usb/dwc2/hcd_intr.c dwc2_xfercomp_isoc_split_in() -> dwc2_release_channel()
| 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->hc_ptr_array | 4096-ptr_max |
| PARAM_VALUE | 0 | hsotg->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hsotg->params.dma_desc_enable | 0 |
| PARAM_VALUE | 0 | hsotg->params.host_dma | 1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->ep_is_in | 1 |
| PARAM_VALUE | 1 | chan->ep_type | 1 |
| PARAM_VALUE | 1 | chan->qh | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->qh->do_split | 1-255 |
| PARAM_VALUE | 2 | qtd | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb | 4096-ptr_max |
| PARAM_VALUE | 2 | qtd->urb->iso_descs | 4096-ptr_max |
| PARAM_VALUE | 3 | halt_status | 0 |
| DATA_SOURCE | 0 | hsotg | $0 |
| DATA_SOURCE | 1 | chan | $1 |
| DATA_SOURCE | 2 | qtd | $3 |
| PARAM_COMPARE | 2 | qtd->isoc_frame_index | != $2->urb->packet_count |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | chan->hcint | 0-u32max |
| LOCK2 | 0 | &hsotg->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct dwc2_hsotg)->lock |