Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/dwc2/hcd.c _dwc2_hcd_urb_enqueue() -> dwc2_hcd_urb_set_iso_desc_params()

Type Parameter Key Value
PARAM_VALUE 0 dwc2_urb 4096-ptr_max
PARAM_VALUE 1 desc_num 0-s32max
BUF_SIZE 0 dwc2_urb s32min-s32max
BUF_SIZE 0 dwc2_urb->buf s32min-(-2),1-s32max
BUF_SIZE 0 dwc2_urb->setup_packet 8,11,13-14,19,23
CAPPED_DATA 0 dwc2_urb->interval 1
CAPPED_DATA 0 dwc2_urb->length 1
CAPPED_DATA 1 desc_num 1
DATA_SOURCE 0 dwc2_urb r dwc2_hcd_urb_alloc
NOCHECK_CALL
UNITS 1 desc_num unit_array_size
UNITS 2 offset unit_byte
UNITS 3 length unit_byte