Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/soc/codecs/aw88399-lib.c aw88399_dev_fw_update() -> aw88399_dev_get_prof_data()

Type Parameter Key Value
PARAM_VALUE 0 aw_dev 4096-ptr_max
PARAM_VALUE 0 aw_dev->dsp_cfg 0-1
PARAM_VALUE 0 aw_dev->fw_status 1
PARAM_VALUE 0 aw_dev->prof_data_type 0-9,11-u32max
PARAM_VALUE 0 aw_dev->prof_info.count (-2147483647)-s32max
PARAM_VALUE 0 aw_dev->prof_info.prof_type (-1)-0,2
PARAM_VALUE 0 aw_dev->status 0-1
PARAM_VALUE 2 prof_desc 4508692375181221888
CAPPED_DATA 0 aw_dev->prof_index 1
CAPPED_DATA 0 aw_dev->prof_info.count 1
CAPPED_DATA 1 index 1
PARAM_COMPARE 0 aw_dev->prof_index < $0->prof_info.count
PARAM_COMPARE 1 index < $0->prof_info.count
CONSTRAINT 0 aw_dev->prof_index <2874
CONSTRAINT 1 index <2874
RX_PATH
UNITS 1 index unit_array_size
HALF_LOCKED2 &aw88399->lock