Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/host/xhci-hub.c xhci_stop_device() -> xhci_queue_stop_endpoint()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-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 slot_id s32min-(-1),1-s32max
PARAM_VALUE 3 ep_index 1-30
PARAM_VALUE 4 suspend 1
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 2 slot_id $1
DATA_SOURCE 4 suspend $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock

drivers/usb/host/xhci-hub.c xhci_stop_device() -> xhci_queue_stop_endpoint()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-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->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 slot_id s32min-(-1),1-s32max
PARAM_VALUE 3 ep_index 0
PARAM_VALUE 4 suspend 1
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 2 slot_id $1
DATA_SOURCE 4 suspend $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock

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

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->lock.rlock.dep_map->name 0-255
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 slot_id 1-255
PARAM_VALUE 3 ep_index 0-30
PARAM_VALUE 4 suspend 0
BUF_SIZE 1 cmd 64
CAPPED_DATA 0 xhci->cmd_ring->deq_seg->trbs 1
CAPPED_DATA 0 xhci->cmd_ring->dequeue 1
CAPPED_DATA 2 slot_id 1
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 2 slot_id $1
PARAM_COMPARE 2 slot_id <= $0->max_slots
HARD_MAX 3 ep_index 30
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.c xhci_endpoint_reset() -> xhci_queue_stop_endpoint()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->device_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 xhci->device_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 xhci->device_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 xhci->device_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 xhci->device_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->device_pool->size 0-s32max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-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->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 slot_id s32min-(-1),1-s32max
PARAM_VALUE 3 ep_index 0-30,u32max
PARAM_VALUE 4 suspend 0
BUF_SIZE 1 cmd 64
CAPPED_DATA 0 xhci->device_pool->size 1
DATA_SOURCE 0 xhci r hcd_to_xhci
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 3 ep_index r xhci_get_endpoint_index
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &udev->dev.mutex
TYPE_LOCK (struct xhci_hcd)->lock

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

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 4 suspend 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 4 suspend $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 xhci->segment_pool->allocation
LOCK2 _T->lock
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qdev_mutex
TYPE_LOCK (struct xhci_hcd)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 0 xhci->op_regs 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 3 ep_index 0-30,u32max
PARAM_VALUE 4 suspend 0
BUF_SIZE 1 cmd 64
DATA_SOURCE 0 xhci r hcd_to_xhci
DATA_SOURCE 1 cmd r xhci_alloc_command
DATA_SOURCE 3 ep_index r xhci_get_endpoint_index
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffc
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct xhci_hcd)->lock