Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/dummy_hcd.c dummy_alloc_streams() -> set_max_streams_for_pipe()

Type Parameter Key Value
PARAM_VALUE 0 dum_hcd 4096-ptr_max
PARAM_VALUE 1 pipe 0-15
PARAM_VALUE 2 streams 1-65536,2147483648-u32max
CAPPED_DATA 2 streams 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 streams 2-65536[c]
LOCK2 flags
LOCK2 0 &dum_hcd->dum->lock
HALF_LOCKED2 &dev->dev.mutex
TYPE_LOCK (struct dummy)->lock

drivers/usb/gadget/udc/dummy_hcd.c dummy_free_streams() -> set_max_streams_for_pipe()

Type Parameter Key Value
PARAM_VALUE 0 dum_hcd 4096-ptr_max
PARAM_VALUE 1 pipe 0-15
PARAM_VALUE 2 streams 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &dum_hcd->dum->lock
HALF_LOCKED2 &dev->dev.mutex
TYPE_LOCK (struct dummy)->lock