Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/rawmidi.c snd_rawmidi_drain_output() -> snd_rawmidi_buffer_ref()

Type Parameter Key Value
PARAM_VALUE 0 runtime 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &substream->lock
LOCK2 irq
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct snd_rawmidi_substream)->lock

sound/core/rawmidi.c snd_rawmidi_kernel_read1() -> snd_rawmidi_buffer_ref()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 runtime->avail 0-u64max[c][u]
LOCK2 &substream->lock
LOCK2 flags
TYPE_LOCK (struct snd_rawmidi_substream)->lock

sound/core/rawmidi.c snd_rawmidi_kernel_write1() -> snd_rawmidi_buffer_ref()

Type Parameter Key Value
PARAM_VALUE 0 runtime 4096-ptr_max
NOSPEC 0 runtime->avail
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 runtime->avail 1-9223372036854775806[c]
LOCK2 &substream->lock
LOCK2 flags
TYPE_LOCK (struct snd_rawmidi_substream)->lock