Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/soc/codecs/aw88166.c aw88166_dev_fw_update() -> aw_dev_check_sram()

Type Parameter Key Value
PARAM_VALUE 0 aw_dev 4096-ptr_max
PARAM_VALUE 0 aw_dev->cali_desc.ra 0-1048575
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->regmap 4096-ptr_max
PARAM_VALUE 0 aw_dev->regmap->async 0
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 aw_dev->regmap->cache_dirty 0-1
PARAM_VALUE 0 aw_dev->status 0-1
PARAM_VALUE 0 aw_dev->volume_desc.init_volume 0-1023
CAPPED_DATA 0 aw_dev->prof_index 1
CAPPED_DATA 0 aw_dev->prof_info.count 1
CAPPED_DATA 0 aw_dev->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_yes_ranges 1
PARAM_COMPARE 0 aw_dev->prof_index < $0->prof_info.count
CONSTRAINT 0 aw_dev->prof_index <2874
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &card->mutex

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

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->regmap 4096-ptr_max
PARAM_VALUE 0 aw_dev->regmap->async 0
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 aw_dev->regmap->cache_dirty 0-1
PARAM_VALUE 0 aw_dev->status 0-1
CAPPED_DATA 0 aw_dev->prof_index 1
CAPPED_DATA 0 aw_dev->prof_info.count 1
CAPPED_DATA 0 aw_dev->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_yes_ranges 1
PARAM_COMPARE 0 aw_dev->prof_index < $0->prof_info.count
CONSTRAINT 0 aw_dev->prof_index <2874
RX_PATH
HALF_LOCKED2 &aw88399->lock

sound/soc/codecs/aw88395/aw88395_device.c aw88395_dev_fw_update() -> aw_dev_check_sram()

Type Parameter Key Value
PARAM_VALUE 0 aw_dev 4096-ptr_max
PARAM_VALUE 0 aw_dev->acf 0
PARAM_VALUE 0 aw_dev->cali_desc.ra 0-1048575
PARAM_VALUE 0 aw_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 aw_dev->dsp_cfg 0-1
PARAM_VALUE 0 aw_dev->dsp_crc_st 0-1
PARAM_VALUE 0 aw_dev->fw_status 1
PARAM_VALUE 0 aw_dev->platform 0
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->profctrl_desc.cur_mode 0-1
PARAM_VALUE 0 aw_dev->regmap 4096-ptr_max
PARAM_VALUE 0 aw_dev->regmap->async 0
PARAM_VALUE 0 aw_dev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 aw_dev->regmap->cache_dirty 0-1
PARAM_VALUE 0 aw_dev->status 0-1
PARAM_VALUE 0 aw_dev->volume_desc.ctl_volume 0
PARAM_VALUE 0 aw_dev->volume_desc.init_volume 0-1023
PARAM_VALUE 0 aw_dev->volume_desc.max_volume 0
PARAM_VALUE 0 aw_dev->volume_desc.mute_volume 0,720,1023
CAPPED_DATA 0 aw_dev->prof_index 1
CAPPED_DATA 0 aw_dev->prof_info.count 1
CAPPED_DATA 0 aw_dev->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 aw_dev->regmap->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 aw_dev $0
PARAM_COMPARE 0 aw_dev->prof_index < $0->prof_info.count
CONSTRAINT 0 aw_dev->prof_index <2874
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 aw_dev->i2c->irq
LOCK2 _T->lock