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