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.c xhci_setup_device() -> xhci_copy_ep0_dequeue_into_input_ctx()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->devs 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->slot_id s32min-(-1),1-s32max
BUF_SIZE 1 udev (-1),2344
BUF_SIZE 1 udev (-1),2344
CAPPED_DATA 0 &xhci->mutex 1
DATA_SOURCE 0 xhci r hcd_to_xhci
DATA_SOURCE 1 udev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &xhci->mutex
TYPE_LOCK (struct xhci_hcd)->mutex