Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/serial/ftdi_sio.c ftdi_process_read_urb() -> ftdi_process_packet()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 len 0-u16max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 1 priv s32min-(-2),1-s32max
BUF_SIZE 1 priv s32min-(-2),1-s32max
CAPPED_DATA 3 len 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 len 2-65534[c]
UNITS 0 port unit_byte
UNITS 1 priv unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &pool->lock