Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/rawmidi.c snd_rawmidi_write() -> snd_rawmidi_ready_append()

Type Parameter Key Value
PARAM_VALUE 0 substream 4096-ptr_max
PARAM_VALUE 1 count 1-2147479552,18446744071562067970-u64max
DATA_SOURCE 1 count $2
FUZZY_MAX 1 count 2147479552
NOSPEC 1 count
PREEMPT_ADD <- disables preempt
USER_DATA 0 substream->runtime->avail 1-9223372036854775806[c]
USER_DATA 1 count 1-1000000000,18446744071562067970-u64max
UNITS 1 count unit_byte
LOCK2 irq
LOCK2 0 &substream->lock
TYPE_LOCK (struct snd_rawmidi_substream)->lock

sound/core/rawmidi.c snd_rawmidi_write() -> snd_rawmidi_ready_append()

Type Parameter Key Value
PARAM_VALUE 0 substream 4096-ptr_max
PARAM_VALUE 0 substream->runtime 4096-ptr_max
PARAM_VALUE 0 substream->runtime->avail 0-18446744073709551614
PARAM_VALUE 1 count 1-2147479552,18446744071562067970-u64max
CAPPED_DATA 0 substream->runtime->avail 1
CAPPED_DATA 0 substream->runtime->avail_min 1
CAPPED_DATA 1 count 1
CAPPED_DATA 1 count 1
DATA_SOURCE 1 count $2
FUZZY_MAX 1 count 2147479552
NOSPEC 0 substream->runtime->avail
NOSPEC 1 count
NOSPEC 1 count
PREEMPT_ADD <- disables preempt
USER_DATA 0 substream->runtime->avail 1-9223372036854775806[c]
USER_DATA 1 count 1-1000000000,18446744071562067970-u64max[c]
UNITS 1 count unit_byte
LOCK2 irq
LOCK2 0 &substream->lock
TYPE_LOCK (struct snd_rawmidi_substream)->lock