Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/soc/codecs/wm_adsp.c wm_adsp_compr_handle_irq() -> wm_adsp_buffer_update_avail()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->dsp 4096-ptr_max
PARAM_VALUE 0 buf->dsp->cs_dsp.num_mems 1-s32max
PARAM_VALUE 0 buf->dsp->cs_dsp.regmap->cache_dirty 0-1
PARAM_VALUE 0 buf->error 0
PARAM_VALUE 0 buf->host_buf_mem_type 2-6,16-18
PARAM_VALUE 0 buf->irq_count 0-16777215
CAPPED_DATA 0 buf->dsp->cs_dsp.num_mems 1
CAPPED_DATA 0 buf->dsp->cs_dsp.regmap->rd_table->n_no_ranges 1
CAPPED_DATA 0 buf->dsp->cs_dsp.regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 buf->host_buf_mem_type 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dsp->cs_dsp.pwr_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct cs_dsp)->pwr_lock

sound/soc/codecs/wm_adsp.c wm_adsp_compr_pointer() -> wm_adsp_buffer_update_avail()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->avail s32min-(-2),0-s32max
PARAM_VALUE 0 buf->error 0
CAPPED_DATA 0 buf->avail 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock