Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/soc/codecs/fs210x.c fs210x_set_scene() -> fs210x_write_dsp_effect()

Type Parameter Key Value
PARAM_VALUE 0 fs210x 4096-ptr_max
PARAM_VALUE 0 fs210x->amp_lib.devid 0-255
PARAM_VALUE 0 fs210x->amp_lib.scene 1-u64max
PARAM_VALUE 0 fs210x->amp_lib.scene_count 1-16
PARAM_VALUE 0 fs210x->dev 4096-ptr_max
PARAM_VALUE 0 fs210x->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 fs210x->dev->class 0,4096-ptr_max
PARAM_VALUE 0 fs210x->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 fs210x->devid 0-255
PARAM_VALUE 0 fs210x->gpio_sdz 0,4096-18446744073709551613,(-1)
PARAM_VALUE 0 fs210x->scene_id (-1)-s32max
PARAM_VALUE 1 scene 4096-ptr_max
PARAM_VALUE 2 scene_id 0-15
BUF_SIZE 0 fs210x s32min-(-1),1-s32max
BUF_SIZE 0 fs210x s32min-(-1),1-s32max
CAPPED_DATA 0 fs210x->amp_lib.scene_count 1
CAPPED_DATA 0 fs210x->scene_id 1
CAPPED_DATA 1 scene 1
CAPPED_DATA 2 scene_id 1
DATA_SOURCE 0 fs210x $0
DATA_SOURCE 2 scene_id $1
FUZZY_MAX 2 scene_id 1
PARAM_COMPARE 0 fs210x->amp_lib.scene_count > $2
PARAM_COMPARE 0 fs210x->scene_id != $2
PARAM_COMPARE 1 scene > $2
PARAM_COMPARE 1 scene > $2
PARAM_COMPARE 2 scene_id != $0->scene_id
PARAM_COMPARE 2 scene_id < $0->amp_lib.scene_count
PARAM_COMPARE 2 scene_id < $1
CONSTRAINT 2 scene_id <2889
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 fs210x->amp_lib.scene_count
UNITS 0 fs210x unit_byte
UNITS 2 scene_id unit_array_size
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock