Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpu-dec.c fill_ringbuffer() -> write_to_ringbuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->dev 4096-ptr_max
PARAM_VALUE 0 inst->dev->dev 4096-ptr_max
PARAM_VALUE 0 inst->dev->hw_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 inst->dev->hw_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inst->dev->hw_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inst->feed_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->feed_lock.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 inst->feed_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inst->feed_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->feed_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inst->feed_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inst->feed_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 inst->feed_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inst->feed_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inst->retry 0
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx 4096-ptr_max
PARAM_VALUE 1 buffer 1-u64max
PARAM_VALUE 2 buffer_size 0-u32max
PARAM_VALUE 3 ring_buffer 4096-ptr_max
BUF_SIZE 0 inst 360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,4104,4824,7552,7944,8768,116088
BUF_SIZE 0 inst 360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,4104,4824,7552,7944,8768,116088
BUF_SIZE 1 buffer s32min-s32max
BUF_SIZE 3 ring_buffer 24
CAPPED_DATA 0 inst->codec_info->dec_info.stream_wr_ptr 1
CAPPED_DATA 2 buffer_size 1
CAPPED_DATA 2 buffer_size 1
DATA_SOURCE 0 inst $0
DATA_SOURCE 1 buffer r vb2_plane_vaddr
DATA_SOURCE 2 buffer_size r vb2_get_plane_payload
PARAM_COMPARE 0 &inst->avail_src_bufs != $0->avail_src_bufs.next
PARAM_COMPARE 0 &inst->bitstream_vbuf == $3
RX_PATH
TASK_NOT_RUNNING