Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-ring.c handle_cmd_completion() -> xhci_mod_cmd_timer()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring->deq_seg 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring->dequeue 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring->dequeue->generic.field 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd 4096-ptr_max
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 xhci->cmd_ring 1
CAPPED_DATA 0 xhci->cmd_ring->deq_seg->trbs 1
CAPPED_DATA 0 xhci->cmd_ring->dequeue 1
CAPPED_DATA 0 &xhci->cmd_list 1
DATA_SOURCE 0 xhci $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->allocation
LOCK2 0 &xhci->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xhci_hcd)->lock

drivers/usb/host/xhci-ring.c queue_command() -> xhci_mod_cmd_timer()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_list.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->current_cmd 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
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
DATA_SOURCE 0 xhci $0
PARAM_COMPARE 0 &xhci->cmd_list == $0->cmd_list.next
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffc
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_handle_stopped_cmd_ring() -> xhci_mod_cmd_timer()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring_state 1
PARAM_VALUE 0 xhci->current_cmd 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->command_trb->generic.field 4096-ptr_max
PARAM_VALUE 0 xhci->op_regs 4096-ptr_max
CAPPED_DATA 0 &xhci->cmd_list 1
DATA_SOURCE 0 xhci $0
PARAM_COMPARE 0 xhci->cmd_ring->dequeue != $0->cmd_ring->enqueue
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffe
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xhci_hcd)->lock