Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/seq_clientmgr.c snd_seq_kernel_client_enqueue() -> snd_seq_client_enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->accept_output 1
PARAM_VALUE 1 event 1421731337698107392,8099135477510692864
PARAM_VALUE 1 event->data.connect.dest.client 0
PARAM_VALUE 1 event->data.connect.sender.client 0
PARAM_VALUE 1 event->data.control.channel 0-15
PARAM_VALUE 1 event->data.control.param 0-255
PARAM_VALUE 1 event->data.control.value (-8192)-83884
PARAM_VALUE 1 event->data.note.channel 0-15
PARAM_VALUE 1 event->data.note.note 0
PARAM_VALUE 1 event->data.note.velocity 0
PARAM_VALUE 1 event->data.queue.param.value 0
PARAM_VALUE 1 event->data.queue.queue 0
PARAM_VALUE 1 event->data.quote.origin.port 0
PARAM_VALUE 1 event->flags 0-247
PARAM_VALUE 1 event->queue 0
PARAM_VALUE 1 event->source.client 0-191
PARAM_VALUE 1 event->source.port 0
PARAM_VALUE 1 event->type 0
PARAM_VALUE 2 file 4096-ptr_max
PARAM_VALUE 2 file->f_op 4096-ptr_max
PARAM_VALUE 2 file->f_op->write 1-u64max
PARAM_VALUE 2 file->private_data 1-u64max
PARAM_VALUE 4 atomic 0
PARAM_VALUE 5 hop 0
PARAM_VALUE 6 mutexp 4096-ptr_max
DATA_SOURCE 0 client r client_load_and_use_ptr
DATA_SOURCE 1 event $1
DATA_SOURCE 2 file $2
DATA_SOURCE 3 blocking $3
BIT_INFO 2 file->f_mode 0x40002,0xffffffffffffffff
MEM_ZERO 1 event
USER_DATA 1 event->data.control.channel 0
USER_DATA 1 event->data.control.param 0-255
LOCK2 _T->lock

sound/core/seq/seq_clientmgr.c snd_seq_write() -> snd_seq_client_enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->accept_output 1
PARAM_VALUE 0 client->ioctl_mutex.dep_map->name 0-255
PARAM_VALUE 0 client->ioctl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 client->ioctl_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 client->midi_version 1-u32max
PARAM_VALUE 0 client->pool 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 2 file 4096-ptr_max
PARAM_VALUE 2 file->f_op 4096-ptr_max
PARAM_VALUE 2 file->f_op->write 1-u64max
PARAM_VALUE 2 file->private_data 4096-ptr_max
PARAM_VALUE 3 blocking 0-1
PARAM_VALUE 4 atomic 0
PARAM_VALUE 5 hop 0
PARAM_VALUE 6 mutexp 4096-ptr_max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 1 event 28
CAPPED_DATA 0 &client->ioctl_mutex 1
DATA_SOURCE 2 file $0
FUZZY_MAX 3 blocking 1
BIT_INFO 2 file->f_flags 0x0,0xffffffff
BIT_INFO 2 file->f_mode 0x40002,0xffffffffffffffff
NOSPEC 1 event->data.note.channel
NOSPEC 1 event->source.port
HARD_MAX 3 blocking 1
USER_DATA 1 event->data.addr.client 0-255
USER_DATA 1 event->data.addr.port 0-255
USER_DATA 1 event->data.connect.dest.client 0-255
USER_DATA 1 event->data.connect.dest.port 0-255
USER_DATA 1 event->data.connect.sender.client 0-255
USER_DATA 1 event->data.connect.sender.port 0-255
USER_DATA 1 event->data.control.channel 0-255
USER_DATA 1 event->data.control.param 0-u32max
USER_DATA 1 event->data.control.unused1 0-255
USER_DATA 1 event->data.control.unused2 0-255
USER_DATA 1 event->data.control.unused3 0-255
USER_DATA 1 event->data.control.value s32min-s32max
USER_DATA 1 event->data.ext.len 0-u32max
USER_DATA 1 event->data.note.channel 0-255
USER_DATA 1 event->data.note.duration 0-u32max
USER_DATA 1 event->data.note.note 0-255
USER_DATA 1 event->data.note.off_velocity 0-255
USER_DATA 1 event->data.note.velocity 0-255
USER_DATA 1 event->data.queue.param.position 0-u32max
USER_DATA 1 event->data.queue.param.skew.base 0-u32max
USER_DATA 1 event->data.queue.param.skew.value 0-u32max
USER_DATA 1 event->data.queue.param.time.tick 0-u32max
USER_DATA 1 event->data.queue.param.time.time.tv_nsec 0-u32max
USER_DATA 1 event->data.queue.param.time.time.tv_sec 0-u32max
USER_DATA 1 event->data.queue.param.value s32min-s32max
USER_DATA 1 event->data.queue.queue 0-255
USER_DATA 1 event->data.quote.origin.client 0-255
USER_DATA 1 event->data.quote.origin.port 0-255
USER_DATA 1 event->data.quote.value 0-u16max
USER_DATA 1 event->data.result.event s32min-s32max
USER_DATA 1 event->data.result.result s32min-s32max
USER_DATA 1 event->data.time.tick 0-u32max
USER_DATA 1 event->data.time.time.tv_nsec 0-u32max
USER_DATA 1 event->data.time.time.tv_sec 0-u32max
USER_DATA 1 event->data.ump_notify.block 0-255
USER_DATA 1 event->data.ump_notify.client 0-255
USER_DATA 1 event->dest.client 0-255
USER_DATA 1 event->dest.port 0-255
USER_DATA 1 event->flags 0-255
USER_DATA 1 event->queue 0-255
USER_DATA 1 event->source.port 0-255
USER_DATA 1 event->tag 0-255
USER_DATA 1 event->time.tick 0-u32max
USER_DATA 1 event->time.time.tv_nsec 0-u32max
USER_DATA 1 event->time.time.tv_sec 0-u32max
USER_DATA 1 event->type 0-255
USER_PTR 1 event
LOCK2 0 &client->ioctl_mutex
TYPE_LOCK (struct snd_seq_client)->ioctl_mutex