Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/usb/host/xhci-ring.c xhci_queue_bulk_tx() -> prepare_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->devs | 4096-ptr_max |
| PARAM_VALUE | 2 | ep_index | 0-30,u32max |
| PARAM_VALUE | 5 | urb | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->actual_length | 0 |
| PARAM_VALUE | 5 | urb->complete | 1-u64max |
| PARAM_VALUE | 5 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 5 | urb->dev->slot_id | 1-s32max |
| PARAM_VALUE | 5 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 5 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 5 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 5 | urb->status | (-115) |
| PARAM_VALUE | 5 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 5 | urb->transfer_flags | 64-u32max |
| PARAM_VALUE | 6 | td_index | 0 |
| PARAM_VALUE | 7 | mem_flags | 2080 |
| CAPPED_DATA | 5 | urb->dev | 1 |
| CAPPED_DATA | 5 | urb->dev->slot_id | 1 |
| CAPPED_DATA | 5 | urb->num_mapped_sgs | 1 |
| CAPPED_DATA | 5 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 2 | ep_index | $4 |
| DATA_SOURCE | 5 | urb | $2 |
| DATA_SOURCE | 7 | mem_flags | $1 |
| FUZZY_MAX | 5 | urb->dev->state | 7 |
| FUZZY_MAX | 5 | urb->transfer_buffer_length | 1 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| NO_OVERFLOW_SIMPLE | 5 | urb->num_mapped_sgs | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_bulk_tx() -> prepare_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->devs | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->max_slots | 1-255 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | xhci->segment_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | ep_index | 0-30 |
| PARAM_VALUE | 4 | num_trbs | 1 |
| PARAM_VALUE | 5 | urb | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->actual_length | 0 |
| PARAM_VALUE | 5 | urb->complete | 1-u64max |
| PARAM_VALUE | 5 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 5 | urb->dev->slot_id | 1-s32max |
| PARAM_VALUE | 5 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 5 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->ep->urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->ep->urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->ep->urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 5 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 5 | urb->status | (-115) |
| PARAM_VALUE | 5 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 5 | urb->transfer_flags | 64-u32max |
| PARAM_VALUE | 5 | urb->unlinked | 0 |
| PARAM_VALUE | 5 | urb->urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 6 | td_index | 1 |
| PARAM_VALUE | 7 | mem_flags | 2080 |
| CAPPED_DATA | 5 | urb->dev | 1 |
| CAPPED_DATA | 5 | urb->dev->slot_id | 1 |
| CAPPED_DATA | 5 | urb->num_mapped_sgs | 1 |
| CAPPED_DATA | 5 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 2 | ep_index | $4 |
| DATA_SOURCE | 5 | urb | $2 |
| DATA_SOURCE | 7 | mem_flags | $1 |
| FUZZY_MAX | 5 | urb->dev->state | 7 |
| FUZZY_MAX | 5 | urb->transfer_buffer_length | 1 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 5 | urb->transfer_flags | 0x40,0xffffffff |
| NO_OVERFLOW_SIMPLE | 5 | urb->num_mapped_sgs | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_ctrl_tx() -> prepare_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->devs | 4096-ptr_max |
| PARAM_VALUE | 2 | ep_index | 0-30,u32max |
| PARAM_VALUE | 4 | num_trbs | 2-3 |
| PARAM_VALUE | 5 | urb | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->actual_length | 0 |
| PARAM_VALUE | 5 | urb->complete | 1-u64max |
| PARAM_VALUE | 5 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 5 | urb->dev->slot_id | 1-s32max |
| PARAM_VALUE | 5 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 5 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->interval | s32min-32768 |
| PARAM_VALUE | 5 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 5 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 5 | urb->status | (-115) |
| PARAM_VALUE | 5 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 5 | urb->transfer_flags | 64-u32max |
| PARAM_VALUE | 6 | td_index | 0 |
| PARAM_VALUE | 7 | mem_flags | 2080 |
| CAPPED_DATA | 5 | urb->dev | 1 |
| CAPPED_DATA | 5 | urb->dev->slot_id | 1 |
| CAPPED_DATA | 5 | urb->interval | 1 |
| CAPPED_DATA | 5 | urb->transfer_buffer_length | 1 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 2 | ep_index | $4 |
| DATA_SOURCE | 5 | urb | $2 |
| DATA_SOURCE | 7 | mem_flags | $1 |
| FUZZY_MAX | 5 | urb->dev->state | 7 |
| FUZZY_MAX | 5 | urb->transfer_buffer_length | 1 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| NO_OVERFLOW_SIMPLE | 5 | urb->num_mapped_sgs | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_isoc_tx() -> prepare_transfer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->devs | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->interrupters | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->run_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | xhci->segment_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | xhci->segment_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | xdev | 4096-ptr_max |
| PARAM_VALUE | 2 | ep_index | 0-30,u32max |
| PARAM_VALUE | 4 | num_trbs | 1-u32max |
| PARAM_VALUE | 5 | urb | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->actual_length | 0 |
| PARAM_VALUE | 5 | urb->complete | 1-u64max |
| PARAM_VALUE | 5 | urb->dev | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->dev->parent | 1-u64max |
| PARAM_VALUE | 5 | urb->dev->slot_id | s32min-(-1),1-s32max |
| PARAM_VALUE | 5 | urb->dev->state | 4-u32max |
| PARAM_VALUE | 5 | urb->ep | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->hcpriv | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->iso_frame_desc | 4096-ptr_max |
| PARAM_VALUE | 5 | urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 5 | urb->number_of_packets | 1-s32max |
| PARAM_VALUE | 5 | urb->setup_packet | 1-u64max |
| PARAM_VALUE | 5 | urb->status | (-115) |
| PARAM_VALUE | 5 | urb->transfer_buffer_length | 0-s32max |
| PARAM_VALUE | 5 | urb->transfer_flags | 64-u32max |
| PARAM_VALUE | 6 | td_index | 0-s32max |
| PARAM_VALUE | 7 | mem_flags | 2080 |
| CAPPED_DATA | 4 | num_trbs | 1 |
| CAPPED_DATA | 5 | urb->dev | 1 |
| CAPPED_DATA | 5 | urb->transfer_buffer_length | 1 |
| CAPPED_DATA | 6 | td_index | 1 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 2 | ep_index | $4 |
| DATA_SOURCE | 4 | num_trbs | r count_isoc_trbs_needed |
| DATA_SOURCE | 5 | urb | $2 |
| DATA_SOURCE | 7 | mem_flags | $1 |
| FUZZY_MAX | 5 | urb->dev->state | 7 |
| FUZZY_MAX | 5 | urb->transfer_buffer_length | 1 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| HOST_DATA | 5 | urb->start_frame | 0[c] |
| NO_OVERFLOW_SIMPLE | 5 | urb->num_mapped_sgs | |
| UNITS | 6 | td_index | unit_array_size |
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |