Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-ring.c xhci_abort_cmd_ring() -> xhci_handle_stopped_cmd_ring()

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->dequeue 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring_state 2
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.done 0-4294967293,u32max
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.wait.lock.owner (-1)
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 xhci->cmd_ring_stop_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->command_trb 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->command_trb->generic.field 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->status 25
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->op_regs 4096-ptr_max
PARAM_VALUE 1 cur_cmd 0,4096-ptr_max
DATA_SOURCE 0 xhci $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xhci_hcd)->lock

drivers/usb/host/xhci-ring.c xhci_handle_command_timeout() -> xhci_handle_stopped_cmd_ring()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->command_trb 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->command_trb->generic.field 4096-ptr_max
PARAM_VALUE 0 xhci->current_cmd->status 25
PARAM_VALUE 0 xhci->op_regs 4096-ptr_max
PARAM_VALUE 1 cur_cmd 4096-ptr_max
PARAM_VALUE 1 cur_cmd->command_trb 4096-ptr_max
PARAM_VALUE 1 cur_cmd->command_trb->generic.field 4096-ptr_max
PARAM_VALUE 1 cur_cmd->status 25
BIT_INFO 0 xhci->cmd_ring_state 0x0,0xffffffff
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffb
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &xhci->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct xhci_hcd)->lock