snd_midi_event_decode identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/sound/seq_midi_event.h, line 36 (as a prototype)

Defined in 1 files as a function:

sound/core/seq/seq_midi_event.c, line 282 (as a function)

Referenced in 4 files:

Smatch caller information:

sound/core/seq/seq_midi.c event_process_midi() -> snd_midi_event_decode()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	1-u64max
PARAM_VALUE	1	buf	7542469114457350144
PARAM_VALUE	2	count	10
PARAM_VALUE	3	ev	4096-ptr_max
PARAM_VALUE	3	ev->type	0-129,131-255
BUF_SIZE	1	buf	10
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev->data.ext.ptr	(-1)-0,32
BUF_SIZE	3	ev->data.quote.event	(-1)-0,32
DATA_SOURCE	3	ev	$0
STR_LEN	3	ev->data.addr.client	(-1)
STR_LEN	3	ev->data.quote.event->data.addr.client	(-1)
NOSPEC	3	ev->data.connect.dest.client
NOSPEC	3	ev->data.connect.sender.client
NOSPEC	3	ev->data.note.channel
NOSPEC	3	ev->data.note.note
NOSPEC	3	ev->data.queue.param.value
NOSPEC	3	ev->data.quote.origin.port
NOSPEC	3	ev->dest.port
NOSPEC	3	ev->source.port
NOSPEC	3	ev->type
RX_PATH
TASK_NOT_RUNNING
USER_DATA	3	ev->data.addr.client	0-255
USER_DATA	3	ev->data.addr.port	0-255
USER_DATA	3	ev->data.connect.dest.client	0-255
USER_DATA	3	ev->data.connect.dest.port	0-255
USER_DATA	3	ev->data.connect.sender.client	0-255
USER_DATA	3	ev->data.connect.sender.port	0-255
USER_DATA	3	ev->data.control.channel	0-255
USER_DATA	3	ev->data.control.param	0-u32max
USER_DATA	3	ev->data.control.unused1	0-255
USER_DATA	3	ev->data.control.unused2	0-255
USER_DATA	3	ev->data.control.unused3	0-255
USER_DATA	3	ev->data.control.value	s32min-s32max
USER_DATA	3	ev->data.ext.len	0-u32max
USER_DATA	3	ev->data.note.channel	0-255
USER_DATA	3	ev->data.note.duration	0-u32max
USER_DATA	3	ev->data.note.note	0-255
USER_DATA	3	ev->data.note.off_velocity	0-255
USER_DATA	3	ev->data.note.velocity	0-255
USER_DATA	3	ev->data.queue.param.position	0-u32max
USER_DATA	3	ev->data.queue.param.skew.base	0-u32max
USER_DATA	3	ev->data.queue.param.skew.value	0-u32max
USER_DATA	3	ev->data.queue.param.time.tick	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.queue.param.value	s32min-s32max
USER_DATA	3	ev->data.queue.queue	0-255
USER_DATA	3	ev->data.quote.origin.client	0-255
USER_DATA	3	ev->data.quote.origin.port	0-255
USER_DATA	3	ev->data.quote.value	0-u16max
USER_DATA	3	ev->data.result.event	s32min-s32max
USER_DATA	3	ev->data.result.result	s32min-s32max
USER_DATA	3	ev->data.time.tick	0-u32max
USER_DATA	3	ev->data.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.ump_notify.block	0-255
USER_DATA	3	ev->data.ump_notify.client	0-255
USER_DATA	3	ev->dest.client	0-191
USER_DATA	3	ev->dest.port	0-255[c]
USER_DATA	3	ev->flags	0-255
USER_DATA	3	ev->source.port	0-255
USER_DATA	3	ev->tag	0-255
USER_DATA	3	ev->time.tick	0-u32max
USER_DATA	3	ev->time.time.tv_nsec	0-u32max
USER_DATA	3	ev->time.time.tv_sec	0-u32max
USER_DATA	3	ev->type	0-129,131-255
UNITS	2	count	unit_byte
USER_PTR	3	ev
USER_PTR	3	ev->data.ext.ptr
USER_PTR	3	ev->data.quote.event

sound/core/seq/seq_virmidi.c snd_virmidi_dev_receive_event() -> snd_midi_event_decode()

Type	Parameter	Key	Value
PARAM_VALUE	1	buf	2464334008060026880
PARAM_VALUE	2	count	4
PARAM_VALUE	3	ev	4096-ptr_max
PARAM_VALUE	3	ev->type	0-129,131-255
BUF_SIZE	1	buf	4
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev->data.ext.ptr	(-1)-0,32
BUF_SIZE	3	ev->data.quote.event	(-1)-0,32
DATA_SOURCE	3	ev	$1
STR_LEN	3	ev->data.addr.client	(-1)
STR_LEN	3	ev->data.quote.event->data.addr.client	(-1)
NOSPEC	3	ev->data.connect.dest.client
NOSPEC	3	ev->data.connect.sender.client
NOSPEC	3	ev->data.note.channel
NOSPEC	3	ev->data.note.note
NOSPEC	3	ev->data.queue.param.value
NOSPEC	3	ev->data.quote.origin.port
NOSPEC	3	ev->dest.port
NOSPEC	3	ev->source.port
NOSPEC	3	ev->type
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	dev->lastcmd	176-191[c]
USER_DATA	1	*buf	0-255
USER_DATA	3	ev->data.addr.client	0-255
USER_DATA	3	ev->data.addr.port	0-255
USER_DATA	3	ev->data.connect.dest.client	0-255
USER_DATA	3	ev->data.connect.dest.port	0-255
USER_DATA	3	ev->data.connect.sender.client	0-255
USER_DATA	3	ev->data.connect.sender.port	0-255
USER_DATA	3	ev->data.control.channel	0-255
USER_DATA	3	ev->data.control.param	0-u32max
USER_DATA	3	ev->data.control.unused1	0-255
USER_DATA	3	ev->data.control.unused2	0-255
USER_DATA	3	ev->data.control.unused3	0-255
USER_DATA	3	ev->data.control.value	s32min-s32max
USER_DATA	3	ev->data.ext.len	0-u32max
USER_DATA	3	ev->data.note.channel	0-255
USER_DATA	3	ev->data.note.duration	0-u32max
USER_DATA	3	ev->data.note.note	0-255
USER_DATA	3	ev->data.note.off_velocity	0-255
USER_DATA	3	ev->data.note.velocity	0-255
USER_DATA	3	ev->data.queue.param.position	0-u32max
USER_DATA	3	ev->data.queue.param.skew.base	0-u32max
USER_DATA	3	ev->data.queue.param.skew.value	0-u32max
USER_DATA	3	ev->data.queue.param.time.tick	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.queue.param.value	s32min-s32max
USER_DATA	3	ev->data.queue.queue	0-255
USER_DATA	3	ev->data.quote.origin.client	0-255
USER_DATA	3	ev->data.quote.origin.port	0-255
USER_DATA	3	ev->data.quote.value	0-u16max
USER_DATA	3	ev->data.result.event	s32min-s32max
USER_DATA	3	ev->data.result.result	s32min-s32max
USER_DATA	3	ev->data.time.tick	0-u32max
USER_DATA	3	ev->data.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.ump_notify.block	0-255
USER_DATA	3	ev->data.ump_notify.client	0-255
USER_DATA	3	ev->dest.client	0-191
USER_DATA	3	ev->dest.port	0-255[c]
USER_DATA	3	ev->flags	0-255
USER_DATA	3	ev->source.port	0-255
USER_DATA	3	ev->tag	0-255
USER_DATA	3	ev->time.tick	0-u32max
USER_DATA	3	ev->time.time.tv_nsec	0-u32max
USER_DATA	3	ev->time.time.tv_sec	0-u32max
USER_DATA	3	ev->type	0-129,131-255
UNITS	2	count	unit_byte
USER_PTR	1	buf
USER_PTR	3	ev
USER_PTR	3	ev->data.ext.ptr
USER_PTR	3	ev->data.quote.event
HALF_LOCKED2		&rdev->filelist_sem
HALF_LOCKED2		rcu_read

sound/core/seq/oss/seq_oss_midi.c send_midi_event() -> snd_midi_event_decode()

Type	Parameter	Key	Value
PARAM_VALUE	1	buf	1019255002309414912
PARAM_VALUE	2	count	32
PARAM_VALUE	3	ev	4096-ptr_max
PARAM_VALUE	3	ev->type	0-49,51-129,131-255
BUF_SIZE	1	buf	32
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev	(-1),32
BUF_SIZE	3	ev->data.ext.ptr	(-1)-0,32
BUF_SIZE	3	ev->data.quote.event	(-1)-0,32
CAPPED_DATA	3	ev->source.client	1
CAPPED_DATA	3	ev->source.port	1
DATA_SOURCE	3	ev	$1
STR_LEN	3	ev->data.addr.client	(-1)
STR_LEN	3	ev->data.quote.event->data.addr.client	(-1)
NOSPEC	3	ev->data.connect.dest.client
NOSPEC	3	ev->data.connect.sender.client
NOSPEC	3	ev->data.note.channel
NOSPEC	3	ev->data.note.note
NOSPEC	3	ev->data.queue.param.value
NOSPEC	3	ev->data.quote.origin.port
NOSPEC	3	ev->dest.port
NOSPEC	3	ev->source.port
NOSPEC	3	ev->type
RX_PATH
TASK_NOT_RUNNING
USER_DATA	3	ev->data.addr.client	0-255
USER_DATA	3	ev->data.addr.port	0-255
USER_DATA	3	ev->data.connect.dest.client	0-255
USER_DATA	3	ev->data.connect.dest.port	0-255
USER_DATA	3	ev->data.connect.sender.client	0-255
USER_DATA	3	ev->data.connect.sender.port	0-255
USER_DATA	3	ev->data.control.channel	0-255
USER_DATA	3	ev->data.control.param	0-u32max
USER_DATA	3	ev->data.control.unused1	0-255
USER_DATA	3	ev->data.control.unused2	0-255
USER_DATA	3	ev->data.control.unused3	0-255
USER_DATA	3	ev->data.control.value	s32min-s32max
USER_DATA	3	ev->data.ext.len	0-u32max
USER_DATA	3	ev->data.note.channel	0-255
USER_DATA	3	ev->data.note.duration	0-u32max
USER_DATA	3	ev->data.note.note	0-255
USER_DATA	3	ev->data.note.off_velocity	0-255
USER_DATA	3	ev->data.note.velocity	0-255
USER_DATA	3	ev->data.queue.param.position	0-u32max
USER_DATA	3	ev->data.queue.param.skew.base	0-u32max
USER_DATA	3	ev->data.queue.param.skew.value	0-u32max
USER_DATA	3	ev->data.queue.param.time.tick	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.queue.param.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.queue.param.value	s32min-s32max
USER_DATA	3	ev->data.queue.queue	0-255
USER_DATA	3	ev->data.quote.origin.client	0-255
USER_DATA	3	ev->data.quote.origin.port	0-255
USER_DATA	3	ev->data.quote.value	0-u16max
USER_DATA	3	ev->data.result.event	s32min-s32max
USER_DATA	3	ev->data.result.result	s32min-s32max
USER_DATA	3	ev->data.time.tick	0-u32max
USER_DATA	3	ev->data.time.time.tv_nsec	0-u32max
USER_DATA	3	ev->data.time.time.tv_sec	0-u32max
USER_DATA	3	ev->data.ump_notify.block	0-255
USER_DATA	3	ev->data.ump_notify.client	0-255
USER_DATA	3	ev->dest.client	0-191
USER_DATA	3	ev->dest.port	0-255[c]
USER_DATA	3	ev->flags	0-255
USER_DATA	3	ev->source.port	0-255[c]
USER_DATA	3	ev->tag	0-255
USER_DATA	3	ev->time.tick	0-u32max
USER_DATA	3	ev->time.time.tv_nsec	0-u32max
USER_DATA	3	ev->time.time.tv_sec	0-u32max
USER_DATA	3	ev->type	0-49,51-129,131-255
UNITS	2	count	unit_byte
USER_PTR	3	ev
USER_PTR	3	ev->data.ext.ptr
USER_PTR	3	ev->data.quote.event