Defined in 2 files as a function:
- drivers/usb/fotg210/fotg210-hcd.c, line 4342 (as a function)
- drivers/usb/host/ehci-sched.c, line 1739 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/usb/host/ehci-hcd.c itd_submit() -> itd_link_urb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 0 | fotg210->itd_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | fotg210->itd_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fotg210->last_iso_frame | 0-536870911 |
| PARAM_VALUE | 0 | fotg210->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *fotg210->bandwidth | 0-255 |
| PARAM_VALUE | 0 | *fotg210->tt_budget | 0-255 |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->can_submit | 1 |
| PARAM_VALUE | 1 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 1 | urb->dev->speed | 3 |
| PARAM_VALUE | 1 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->enabled | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv->first_packet | 0-4294967295 |
| PARAM_VALUE | 1 | urb->interval | 0-32768 |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->reject.counter | 0 |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 1 | urb->unlinked | 0 |
| PARAM_VALUE | 1 | urb->urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | mod | 0,8-4294967288 |
| PARAM_VALUE | 3 | stream | 4096-ptr_max |
| PARAM_VALUE | 3 | stream->hw | 0 |
| PARAM_VALUE | 3 | stream->ps.bw_phase | 0-254 |
| PARAM_VALUE | 3 | stream->ps.phase | 0-8191 |
| PARAM_VALUE | 3 | stream->ps.phase_uf | 0-6 |
| PARAM_VALUE | 3 | stream->ps.ps_list.next | 4096-ptr_max |
| PARAM_VALUE | 3 | stream->splits | 0-u16max |
| PARAM_VALUE | 3 | stream->uperiod | 0-32768 |
| BUF_SIZE | 3 | stream | 40,48,56,80,104,128,384 |
| BUF_SIZE | 3 | stream | 40,48,56,80,104,128,384 |
| CAPPED_DATA | 1 | urb->ep | 1 |
| CAPPED_DATA | 1 | urb->hcpriv | 1 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->number_of_packets | 1 |
| CAPPED_DATA | 1 | urb->transfer_buffer_length | 1 |
| CAPPED_DATA | 3 | stream->uperiod | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| DATA_SOURCE | 1 | urb | $1 |
| DATA_SOURCE | 3 | stream | r iso_stream_find |
| FUZZY_MAX | 1 | urb->dev->state | 7 |
| PARAM_COMPARE | 3 | stream->uperiod | == $1->interval |
| BIT_INFO | 2 | mod | 0x0,0xfffffff8 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | fotg210->last_iso_frame | 0-536870911 |
| HOST_DATA | 1 | urb->start_frame | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | urb->num_mapped_sgs | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct ehci_hcd)->lock |
drivers/usb/fotg210/fotg210-hcd.c itd_submit() -> itd_link_urb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fotg210 | 4096-ptr_max |
| PARAM_VALUE | 0 | fotg210->itd_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | fotg210->itd_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fotg210->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | fotg210->next_frame | 0-536870911 |
| PARAM_VALUE | 0 | fotg210->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | urb | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->actual_length | 0 |
| PARAM_VALUE | 1 | urb->complete | 1-u64max |
| PARAM_VALUE | 1 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->dev->can_submit | 1 |
| PARAM_VALUE | 1 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 1 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 1 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->enabled | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->error_count | 0 |
| PARAM_VALUE | 1 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 1 | urb->hcpriv->span | 0-4294967216 |
| PARAM_VALUE | 1 | urb->interval | s32min-32768 |
| PARAM_VALUE | 1 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 1 | urb->reject.counter | 0 |
| PARAM_VALUE | 1 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 1 | urb->status | (-115) |
| PARAM_VALUE | 1 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 1 | urb->unlinked | 0 |
| PARAM_VALUE | 1 | urb->urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 2 | mod | 0,8-4294967288 |
| PARAM_VALUE | 3 | stream | 4096-ptr_max |
| PARAM_VALUE | 3 | stream->hw | 0 |
| PARAM_VALUE | 3 | stream->td_list.next | 4096-ptr_max |
| BUF_SIZE | 3 | stream | 40,48,56,80,104,128,384 |
| BUF_SIZE | 3 | stream | 40,48,56,80,104,128,384 |
| CAPPED_DATA | 1 | urb->interval | 1 |
| CAPPED_DATA | 1 | urb->number_of_packets | 1 |
| CAPPED_DATA | 1 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | fotg210 | $0 |
| DATA_SOURCE | 1 | urb | $1 |
| DATA_SOURCE | 3 | stream | r iso_stream_find |
| FUZZY_MAX | 1 | urb->dev->state | 7 |
| BIT_INFO | 2 | mod | 0x0,0xfffffff8 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | fotg210->next_frame | 0-536870911[c] |
| NO_OVERFLOW_SIMPLE | 1 | urb->num_mapped_sgs | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &fotg210->lock | |
| TYPE_LOCK | (struct fotg210_hcd)->lock |