Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci.c xhci_suspend() -> xhci_clear_command_ring()

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->dbc 0,4096-ptr_max
PARAM_VALUE 0 xhci->dbc->ctx 0
PARAM_VALUE 0 xhci->dbc->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 xhci->dbc->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->dbc->dev->power.deferred_resume 0-1
PARAM_VALUE 0 xhci->dbc->dev->power.idle_notification 0-1
PARAM_VALUE 0 xhci->dbc->dev->power.request 0-4
PARAM_VALUE 0 xhci->dbc->dev->power.request_pending 0-1
PARAM_VALUE 0 xhci->dbc->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 xhci->dbc->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 xhci->dbc->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 xhci->dbc->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 xhci->dbc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 xhci->dbc->enable_mutex.dep_map->name 0-255
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 xhci->dbc->enable_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 xhci->dbc->enable_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 xhci->dbc->erst.entries 0
PARAM_VALUE 0 xhci->dbc->event_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 xhci->dbc->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->dbc->pending_rpm_put 0
PARAM_VALUE 0 xhci->dbc->priv->port.buf.head->flags 1
PARAM_VALUE 0 xhci->dbc->priv->port.buf.mem_used.counter s32min-s32max
PARAM_VALUE 0 xhci->dbc->priv->port.buf.sentinel.flags 1
PARAM_VALUE 0 xhci->dbc->priv->port.buf.tail->flags 1
PARAM_VALUE 0 xhci->dbc->priv->port.tty->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 xhci->dbc->resume_required 1
PARAM_VALUE 0 xhci->dbc->ring_evt 0
PARAM_VALUE 0 xhci->dbc->ring_in 0
PARAM_VALUE 0 xhci->dbc->ring_out 0
PARAM_VALUE 0 xhci->dbc->state 0
PARAM_VALUE 0 xhci->dbc->str_descs 0
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->main_hcd->rh_timer.entry.pprev 0
PARAM_VALUE 0 xhci->main_hcd->rh_timer.flags 0-4194302
PARAM_VALUE 0 xhci->main_hcd->rh_timer.function 0
PARAM_VALUE 0 xhci->main_hcd->state 4
PARAM_VALUE 0 xhci->op_regs 4096-ptr_max
PARAM_VALUE 0 xhci->shared_hcd 0,4096-ptr_max
PARAM_VALUE 0 xhci->shared_hcd->rh_timer.entry.pprev 0
PARAM_VALUE 0 xhci->shared_hcd->rh_timer.flags 0-4194302
PARAM_VALUE 0 xhci->shared_hcd->rh_timer.function 0
PARAM_VALUE 0 xhci->shared_hcd->state 4
PARAM_VALUE 0 xhci->usb2_rhub.num_ports 0-s32max
PARAM_VALUE 0 xhci->usb3_rhub.num_ports 0-s32max
CAPPED_DATA 0 xhci->usb2_rhub.num_ports 1
CAPPED_DATA 0 xhci->usb3_rhub.num_ports 1
CAPPED_DATA 0 &xhci->cmd_list 1
DATA_SOURCE 0 xhci $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &xhci->lock
TYPE_LOCK (struct xhci_hcd)->lock