Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/xhci-ring.c queue_command() -> queue_trb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_ring->enq_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->cmd_ring->last_seg | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->main_hcd->self.controller->power.wakeirq->status | 0-4294967295 |
| 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 | ring | 4096-ptr_max |
| PARAM_VALUE | 1 | ring->enq_seg | 4096-ptr_max |
| PARAM_VALUE | 1 | ring->last_seg | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 0 |
| PARAM_VALUE | 5 | field3 | 0,65536-4294901760 |
| BUF_SIZE | 0 | xhci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | xhci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | xhci->current_cmd | (-1),64 |
| CAPPED_DATA | 0 | xhci->cmd_ring | 1 |
| CAPPED_DATA | 0 | &xhci->cmd_list | 1 |
| CAPPED_DATA | 1 | ring | 1 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 3 | field1 | $2 |
| DATA_SOURCE | 4 | field2 | $3 |
| DATA_SOURCE | 5 | field3 | $4 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffc |
| BIT_INFO | 5 | field3 | 0x0,0xffff0000 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | xhci->device_pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | xhci->medium_streams_pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | xhci->segment_pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | xhci->small_streams_pool->allocation | |
| UNITS | 0 | xhci | unit_array_size |
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | &xhci->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &xhci->lock | |
| HALF_LOCKED2 | 0 | &xhci->mutex |
drivers/usb/host/xhci-ring.c xhci_queue_bulk_tx() -> queue_trb()
| 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 | 1 | ring | 4096-ptr_max |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0x400,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_bulk_tx() -> queue_trb()
| 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 | 1 | ring | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 0 |
| PARAM_VALUE | 3 | field1 | 0 |
| PARAM_VALUE | 4 | field2 | 0 |
| PARAM_VALUE | 5 | field3 | 0 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0x420,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_ctrl_tx() -> queue_trb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xhci | 4096-ptr_max |
| PARAM_VALUE | 0 | xhci->devs | 4096-ptr_max |
| PARAM_VALUE | 1 | ring | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 0 |
| PARAM_VALUE | 3 | field1 | 0 |
| PARAM_VALUE | 4 | field2 | 0 |
| PARAM_VALUE | 5 | field3 | 0 |
| PARAM_VALUE | 6 | field4 | 0,8192-u32max |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->quirks | 0x2000000000000,0xffffffffffffffff |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0x2000,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_ctrl_tx() -> queue_trb()
| 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 | 1 | ring | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 1 |
| PARAM_VALUE | 5 | field3 | 8 |
| PARAM_VALUE | 6 | field4 | 2112-2113,133184-133185,198720-198721 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 3 | field1 | 0x0,0xff |
| BIT_INFO | 4 | field2 | 0x0,0xffff |
| BIT_INFO | 6 | field4 | 0x840,0x30841 |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_ctrl_tx() -> queue_trb()
| 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 | 1 | ring | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 1 |
| PARAM_VALUE | 5 | field3 | 0-4194303 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0xc00,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_ctrl_tx() -> queue_trb()
| 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 | 1 | ring | 4096-ptr_max |
| PARAM_VALUE | 2 | more_trbs_coming | 0 |
| PARAM_VALUE | 3 | field1 | 0 |
| PARAM_VALUE | 4 | field2 | 0 |
| PARAM_VALUE | 5 | field3 | 0 |
| DATA_SOURCE | 0 | xhci | $0 |
| DATA_SOURCE | 1 | ring | r xhci_urb_to_transfer_ring |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0x1020,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |
drivers/usb/host/xhci-ring.c xhci_queue_isoc_tx() -> queue_trb()
| 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->max_slots | 1-255 |
| 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 | ring | 4096-ptr_max |
| PARAM_VALUE | 5 | field3 | 0-4194303 |
| DATA_SOURCE | 0 | xhci | $0 |
| BIT_INFO | 0 | xhci->xhc_state | 0x0,0xfffffffe |
| BIT_INFO | 6 | field4 | 0x400,0xffffffff |
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &xhci->lock | |
| TYPE_LOCK | (struct xhci_hcd)->lock |