snd_seq_dump_var_event identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/sound/seq_kernel.h, line 75 (as a prototype)

Defined in 1 files as a function:

sound/core/seq/seq_memory.c, line 125 (as a function)

Referenced in 4 files:

Smatch caller information:

sound/core/seq/oss/seq_oss_readq.c snd_seq_oss_readq_sysex() -> snd_seq_dump_var_event()

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

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

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

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

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