Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/compress_offload.c snd_compr_write() -> snd_compr_write_data()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->direction 0-1,3-u32max
PARAM_VALUE 0 stream->error_work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 stream->error_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 stream->ops 4096-ptr_max
PARAM_VALUE 0 stream->ops->copy 0
PARAM_VALUE 0 stream->ops->pointer 0,4096-ptr_max
PARAM_VALUE 0 stream->runtime 4096-ptr_max
PARAM_VALUE 0 stream->runtime->private_data->buf->avail s32min-s32max
PARAM_VALUE 0 stream->runtime->private_data->buf->dsp->cs_dsp.regmap->cache_dirty 0-1
PARAM_VALUE 0 stream->runtime->private_data->buf->error 0-16777215
PARAM_VALUE 0 stream->runtime->private_data->buf->irq_count 0-4294967295
PARAM_VALUE 0 stream->runtime->private_data->buf->read_index 0-s32max
PARAM_VALUE 0 stream->runtime->private_data->dsp->cs_dsp.pwr_lock.dep_map->name 0-255
PARAM_VALUE 0 stream->runtime->private_data->dsp->cs_dsp.pwr_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stream->runtime->private_data->dsp->cs_dsp.pwr_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 stream->runtime->private_data->dsp->cs_dsp.pwr_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stream->runtime->state s32min-(-1),1-s32max
PARAM_VALUE 2 count 0-2147479552
BUF_SIZE 0 stream 288
CAPPED_DATA 1 buf 1
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 1 buf $1
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 0-1000000000[c]
LOCK2 _T->lock