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_init.c snd_seq_oss_reset() -> snd_seq_oss_synth_reset()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->max_synthdev 1-s32max
PARAM_VALUE 1 dev 0-s32max
BUF_SIZE 0 dp s32min-(-1),1-s32max
BUF_SIZE 0 dp s32min-(-1),1-s32max
CAPPED_DATA 1 dev 1
DATA_SOURCE 0 dp $0
PARAM_COMPARE 0 dp->max_synthdev > $1
PARAM_COMPARE 1 dev < $0->max_synthdev
CONSTRAINT 1 dev <2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock