Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_urb_complete() -> flexcop_usb_process_frame()

Type Parameter Key Value
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 buffer_length s32min-(-1),1-s32max
BUF_SIZE 0 fc_usb s32min-(-1),1-s32max
BUF_SIZE 0 fc_usb s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fc_usb unit_byte
UNITS 1 buffer unit_byte
UNITS 2 buffer_length unit_byte
HALF_LOCKED2 &pool->lock