Defined in 1 files as a prototype:

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() -> wave5_vpu_dec_get_bitstream_buffer()

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->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 prd_ptr 8198837806377918464
PARAM_VALUE 1 *prd_ptr 0
PARAM_VALUE 2 pwr_ptr 5872903460525678592
PARAM_VALUE 2 *pwr_ptr 0
PARAM_VALUE 3 size 4443515470634926080
PARAM_VALUE 3 *size 0
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
DATA_SOURCE 0 inst $0
PARAM_COMPARE 0 &inst->avail_src_bufs != $0->avail_src_bufs.next
RX_PATH
TASK_NOT_RUNNING