Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/usb/line6/midi.c line6_midi_transmit() -> line6_midibuf_write()

Type Parameter Key Value
PARAM_VALUE 0 this 4096-ptr_max
PARAM_VALUE 1 data 2766493691959214080
PARAM_VALUE 2 length s32min-(-1),1-s32max
BUF_SIZE 0 this 32
BUF_SIZE 1 data 16
DATA_SOURCE 2 length r snd_rawmidi_transmit_peek
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 this->pos_write
LOCK2 &line6->line6midi->lock
LOCK2 irq
TYPE_LOCK (struct snd_line6_midi)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 this 4096-ptr_max
BUF_SIZE 0 this 32
BUF_SIZE 1 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 length 0-s32max[c][u]
NO_OVERFLOW_SIMPLE 2 length
UNITS 1 data unit_byte
UNITS 2 length unit_byte
LOCK2 &line6->line6midi->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct snd_line6_midi)->lock