Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/oss/seq_oss_rw.c snd_seq_oss_write() -> insert_queue()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->file_mode s32min-(-1),2-s32max
PARAM_VALUE 0 dp->writeq 1-u64max
PARAM_VALUE 1 rec 2763468193010507776
PARAM_VALUE 1 rec->s.code 0-252,254-255
PARAM_VALUE 2 opt 4096-ptr_max
PARAM_VALUE 2 opt->f_op 4096-ptr_max
PARAM_VALUE 2 opt->f_op->write 1-u64max
PARAM_VALUE 2 opt->private_data 1-u64max
BUF_SIZE 0 dp s32min-(-2),1-s32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
DATA_SOURCE 0 dp $0
DATA_SOURCE 2 opt $3
BIT_INFO 0 dp->file_mode 0x2,0xffffffffffffffff
BIT_INFO 2 opt->f_mode 0x40002,0xffffffffffffffff
USER_DATA 1 rec->e.chn 0-255
USER_DATA 1 rec->e.cmd 0-255
USER_DATA 1 rec->e.code 0-255
USER_DATA 1 rec->e.dev 0-255
USER_DATA 1 rec->e.p1 0-255
USER_DATA 1 rec->e.p2 0-255
USER_DATA 1 rec->e.p3 0-255
USER_DATA 1 rec->e.p4 0-255
USER_DATA 1 rec->echo 0-u32max
USER_DATA 1 rec->l.chn 0-255
USER_DATA 1 rec->l.cmd 0-255
USER_DATA 1 rec->l.code 0-255
USER_DATA 1 rec->l.dev 0-255
USER_DATA 1 rec->l.p1 0-255
USER_DATA 1 rec->l.p2 0-255
USER_DATA 1 rec->l.val 0-u16max
USER_DATA 1 rec->n.chn 0-255
USER_DATA 1 rec->n.code 0-255
USER_DATA 1 rec->n.note 0-255
USER_DATA 1 rec->n.vel 0-255
USER_DATA 1 rec->s.code 0-252,254-255
USER_DATA 1 rec->s.dev 0-255
USER_DATA 1 rec->s.parm1 0-255
USER_DATA 1 rec->s.parm2 0-255
USER_DATA 1 rec->t.cmd 0-255
USER_DATA 1 rec->t.code 0-255
USER_DATA 1 rec->t.dummy1 0-255
USER_DATA 1 rec->t.dummy2 0-255
USER_DATA 1 rec->t.time 0-u32max
USER_DATA 1 rec->v.chn 0-255
USER_DATA 1 rec->v.cmd 0-255
USER_DATA 1 rec->v.code 0-255
USER_DATA 1 rec->v.dev 0-255
USER_DATA 1 rec->v.dummy 0-u16max
USER_DATA 1 rec->v.note 0-255
USER_DATA 1 rec->v.parm 0-255
USER_DATA 1 rec->x.code 0-255
USER_DATA 1 rec->x.dev 0-255
USER_PTR 1 rec->c