Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci-ring.c handle_tx_event() -> handle_transferless_tx_event()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->interrupters 4096-ptr_max
PARAM_VALUE 0 xhci->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xhci->max_slots 1-255
PARAM_VALUE 0 xhci->op_regs 4096-ptr_max
PARAM_VALUE 1 ep 4096-ptr_max
PARAM_VALUE 1 ep->vdev 4096-ptr_max
PARAM_VALUE 1 ep->vdev->out_ctx 4096-ptr_max
PARAM_VALUE 2 trb_comp_code 0-255
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 ep r xhci_get_virt_ep
BIT_INFO 0 xhci->xhc_state 0x0,0xfffffffc
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