update_timestamp_of_queue identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

sound/core/seq/seq_clientmgr.c, line 605 (as a function)

Referenced in 1 files:

sound/core/seq/seq_clientmgr.c
- line 667
- line 747

Smatch caller information:

sound/core/seq/seq_clientmgr.c __deliver_to_subscribers() -> update_timestamp_of_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	4096-ptr_max
PARAM_VALUE	2	real_time	0,4
BUF_SIZE	0	event	(-1),32
BUF_SIZE	0	event	(-1),32
DATA_SOURCE	0	event	$1
STR_LEN	0	event->data.addr.client	(-1)
BIT_INFO	2	real_time	0x0,0x4
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->type
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->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_DATA	0	event->type	0-255
USER_PTR	0	event
USER_PTR	0	event->data.ext.ptr
USER_PTR	0	event->data.quote.event
HALF_LOCKED2		&client->ioctl_mutex
HALF_LOCKED2		&grp->list_mutex
HALF_LOCKED2		rcu_read

sound/core/seq/seq_clientmgr.c _snd_seq_deliver_single_event() -> update_timestamp_of_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	event	4096-ptr_max
PARAM_VALUE	0	event->dest.client	0-191
BUF_SIZE	0	event	(-1),32
BUF_SIZE	0	event	(-1),32
CAPPED_DATA	0	event->dest.port	1
DATA_SOURCE	0	event	$1
STR_LEN	0	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->type
HARD_MAX	0	event->dest.client	191
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_DATA	0	event->type	0-255
USER_PTR	0	event
USER_PTR	0	event->data.ext.ptr
USER_PTR	0	event->data.quote.event
HALF_LOCKED2		&client->ioctl_mutex