Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/usb/line6/driver.c line6_data_received() -> line6_midi_receive()

Type Parameter Key Value
PARAM_VALUE 0 line6 4096-ptr_max
PARAM_VALUE 0 line6->line6midi->midibuf_in.full 0
PARAM_VALUE 0 line6->message_length 1-257
PARAM_VALUE 0 line6->properties 4096-ptr_max
PARAM_VALUE 0 line6->properties->capabilities 17,23,47,71,79
PARAM_VALUE 2 length 1-257
BUF_SIZE 0 line6 s32min-(-1),1-s32max
BUF_SIZE 0 line6 s32min-(-1),1-s32max
BUF_SIZE 1 data s32min-(-2),1-s32max
CAPPED_DATA 0 line6->message_length 1
CAPPED_DATA 2 length 1
DATA_SOURCE 2 length r line6_midibuf_read
BIT_INFO 0 line6->properties->capabilities 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 line6->message_length
NO_OVERFLOW_SIMPLE 2 length
UNITS 0 line6 unit_byte
UNITS 1 data unit_byte
UNITS 2 length unit_byte
HALF_LOCKED2 &pool->lock