Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 4 field3 0,65536-4294901760
PARAM_VALUE 5 field4 0,16384-u32max
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd r xhci_alloc_command
BIT_INFO 4 field3 0x0,0xffff0000
BIT_INFO 5 field4 0x4000,0xff1f4000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &xhci->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 0 xhci->mutex.dep_map->name 0-255
PARAM_VALUE 0 xhci->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 xhci->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 xhci->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 xhci->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 xhci->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 xhci->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 xhci->xhc_state 0
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion 4096-ptr_max
PARAM_VALUE 1 cmd->completion->done 0
PARAM_VALUE 1 cmd->completion->wait.lock.magic 3735899821
PARAM_VALUE 1 cmd->completion->wait.lock.owner (-1)
PARAM_VALUE 1 cmd->completion->wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmd->completion->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 500,5000
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 11264,11776,16788480-4278201856
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
BIT_INFO 1 cmd->timeout_ms 0x180,0x13fc
BIT_INFO 5 field4 0x2c00,0xff002fff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
LOCK2 0 &xhci->mutex
TYPE_LOCK (struct xhci_hcd)->lock
TYPE_LOCK (struct xhci_hcd)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx->type 2
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 12288,16789504-4278202368
BUF_SIZE 1 cmd (-1),64
BUF_SIZE 1 cmd (-1),64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 6 command_must_succeed $4
BIT_INFO 5 field4 0x3000,0xff003000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion 4096-ptr_max
PARAM_VALUE 1 cmd->completion->done 0
PARAM_VALUE 1 cmd->completion->wait.lock.magic 3735899821
PARAM_VALUE 1 cmd->completion->wait.lock.owner (-1)
PARAM_VALUE 1 cmd->completion->wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmd->completion->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx->type 2
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 13312,16790528-4278203392
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 6 command_must_succeed $4
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffe
BIT_INFO 5 field4 0x3400,0xff003400
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->main_hcd->self.controller->power.request 0-4
PARAM_VALUE 0 xhci->main_hcd->self.controller->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 xhci->main_hcd->self.controller->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 xhci->port_bw_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 xhci->port_bw_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 xhci->port_bw_pool->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 xhci->port_bw_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 xhci->port_bw_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 xhci->port_bw_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 xhci->port_bw_pool->dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 xhci->port_bw_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->port_bw_pool->size 0-s32max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion 4096-ptr_max
PARAM_VALUE 1 cmd->completion->done 0
PARAM_VALUE 1 cmd->completion->wait.lock.magic 3735899821
PARAM_VALUE 1 cmd->completion->wait.lock.owner (-1)
PARAM_VALUE 1 cmd->completion->wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmd->completion->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx->bytes 4096-ptr_max
PARAM_VALUE 1 cmd->in_ctx->size 256
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 87040,218112-283648
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 0 xhci s32min-(-2),1-s32max
BUF_SIZE 0 xhci s32min-(-2),1-s32max
BUF_SIZE 1 cmd 64
BUF_SIZE 1 cmd->in_ctx 24
CAPPED_DATA 0 xhci->port_bw_pool->size 1
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 6 command_must_succeed $4
BIT_INFO 5 field4 0x5400,0x5400
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 xhci unit_array_size
LOCK2 &s->lock
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct seq_file)->lock
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion 4096-ptr_max
PARAM_VALUE 1 cmd->completion->done 0
PARAM_VALUE 1 cmd->completion->wait.lock.magic 3735899821
PARAM_VALUE 1 cmd->completion->wait.lock.owner (-1)
PARAM_VALUE 1 cmd->completion->wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmd->completion->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 2 field1 0
PARAM_VALUE 3 field2 0
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 17408,16794624-4278207488
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
BIT_INFO 0 xhci->quirks 0x0,0xfffdffffffffffff
BIT_INFO 5 field4 0x4400,0xff004400
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port_dev->status_lock
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->max_slots 1-255
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 2 field1 0
PARAM_VALUE 3 field2 0
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 0,512-u32max
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
BIT_INFO 5 field4 0x3800,0xff1f3a00
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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 xhci_queue_slot_control() -> queue_command()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion 4096-ptr_max
PARAM_VALUE 1 cmd->completion->done 0
PARAM_VALUE 1 cmd->completion->wait.lock.magic 3735899821
PARAM_VALUE 1 cmd->completion->wait.lock.owner (-1)
PARAM_VALUE 1 cmd->completion->wait.lock.owner_cpu u32max
PARAM_VALUE 1 cmd->completion->wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->completion->wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 2 field1 0
PARAM_VALUE 3 field2 0
PARAM_VALUE 4 field3 0
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
BIT_INFO 5 field4 0x0,0xff003c00
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->allocation
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 2 field1 0
PARAM_VALUE 3 field2 0
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 0,1024-u32max
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
BIT_INFO 5 field4 0x3c00,0xff9f3c00
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->allocation
LOCK2 0 &xhci->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->interrupters 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.next->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 1 cmd->cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->status 0
PARAM_VALUE 1 cmd->timeout_ms 5000
PARAM_VALUE 2 field1 0
PARAM_VALUE 3 field2 0
PARAM_VALUE 4 field3 0
PARAM_VALUE 5 field4 50176
PARAM_VALUE 6 command_must_succeed 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 field1 $2
DATA_SOURCE 3 field2 $3
DATA_SOURCE 4 field3 $4
DATA_SOURCE 5 field4 $5
BIT_INFO 0 xhci->quirks 0x4,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING