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_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_synth_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 dp 1-u64max
PARAM_VALUE 2 cmd 1074024713
BUF_SIZE 0 dp s32min-(-2),1-s32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
DATA_SOURCE 0 dp $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 addr $2
USER_DATA 1 dev s32min-s32max
USER_DATA 2 cmd 1074024713
USER_DATA 3 addr 0-u64max
HALF_LOCKED2 global &register_mutex

sound/core/seq/oss/seq_oss_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_synth_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 dp 1-u64max
PARAM_VALUE 2 cmd 3221508366
BUF_SIZE 0 dp s32min-(-2),1-s32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
DATA_SOURCE 0 dp $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 addr $2
USER_DATA 1 dev s32min-s32max
USER_DATA 2 cmd 3221508366
USER_DATA 3 addr 0-u64max
HALF_LOCKED2 global &register_mutex

sound/core/seq/oss/seq_oss_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_synth_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 dp 1-u64max
PARAM_VALUE 2 cmd 1074024719
BUF_SIZE 0 dp s32min-(-2),1-s32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
DATA_SOURCE 0 dp $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 addr $2
NOCHECK_CALL
USER_DATA 1 dev s32min-s32max
USER_DATA 2 cmd 1074024719
USER_DATA 3 addr 0-u64max
HALF_LOCKED2 global &register_mutex

sound/core/seq/oss/seq_oss_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_synth_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->file_mode s32min-(-1),2-s32max
PARAM_VALUE 1 dev 0
PARAM_VALUE 2 cmd 0-20735,20738-20752,20754-21505,21509-1074024711,1074024714-1074024716,1074024718,1074024720-1074025478,1074025481-1074286865,1074286867-2147766531,2147766534-2147766537,2147766540-2147766546,2147766548-u32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
BUF_SIZE 0 dp s32min-(-2),1-s32max
DATA_SOURCE 0 dp $0
DATA_SOURCE 2 cmd $1
DATA_SOURCE 3 addr $2
BIT_INFO 0 dp->file_mode 0x2,0xffffffff
USER_DATA 2 cmd 0-20735,20738-20752,20754-21505,21509-1074024711,1074024714-107
USER_DATA 3 addr 0-u64max
HALF_LOCKED2 global &register_mutex