Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpu-enc.c prepare_fb() -> wave5_vpu_dec_reset_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->codec_info->enc_info.initial_info_obtained 1
PARAM_VALUE 0 inst->codec_info->enc_info.instance_queue_count 0-255
PARAM_VALUE 0 inst->codec_info->enc_info.report_queue_count 0-u16max
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->list.prev->prev 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->fbc_buf_count 1-u32max
PARAM_VALUE 0 inst->irq_done.done 0
PARAM_VALUE 0 inst->irq_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 inst->irq_done.wait.lock.owner (-1)
PARAM_VALUE 0 inst->irq_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 inst->irq_done.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 inst->irq_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->irq_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 inst->state 2
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.cached->ctrl 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->dep_map->name 0-255
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->osq.tail.counter 0-s32max
PARAM_VALUE 0 inst->v4l2_ctrl_hdl.lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->last_src_buf 0
PARAM_VALUE 1 index 0-s32max
BUF_SIZE 0 inst s32min-(-2),1-s32max
BUF_SIZE 0 inst s32min-(-2),1-s32max
CAPPED_DATA 0 inst->dev->dev 1
CAPPED_DATA 0 inst->fbc_buf_count 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 inst $0
PARAM_COMPARE 1 index < $0->fbc_buf_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 inst->codec_info->enc_info.initial_info.min_frame_buffer_count 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.initial_info.min_src_frame_count 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.initial_info.param_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.initial_info.vlc_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.initial_info.warn_info 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.instance_queue_count 0-255
HOST_DATA 0 inst->codec_info->enc_info.param_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.product_code 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.report_queue_count 0-u16max
HOST_DATA 0 inst->codec_info->enc_info.stream_rd_ptr 0
HOST_DATA 0 inst->codec_info->enc_info.stream_wr_ptr 0
HOST_DATA 0 inst->codec_info->enc_info.vb_fbc_c_tbl.size 4096[c]
HOST_DATA 0 inst->codec_info->enc_info.vb_fbc_y_tbl.size 4096[c]
HOST_DATA 0 inst->codec_info->enc_info.vb_mv.size 4096[c]
HOST_DATA 0 inst->codec_info->enc_info.vb_sub_sam_buf.size 4096[c]
HOST_DATA 0 inst->codec_info->enc_info.vlc_buf_size 0-u32max
HOST_DATA 0 inst->fbc_buf_count 1-u32max[c]
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 q->lock

drivers/media/platform/chips-media/wave5/wave5-vpu-dec.c wave5_prepare_fb() -> wave5_vpu_dec_reset_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->codec_info 4096-ptr_max
PARAM_VALUE 0 inst->codec_info->dec_info.sec_axi_info.use_bit_enable 1
PARAM_VALUE 0 inst->codec_info->dec_info.sec_axi_info.use_ip_enable 1
PARAM_VALUE 0 inst->dev 4096-ptr_max
PARAM_VALUE 0 inst->dev->attr.support_hevc10bit_dec 1
PARAM_VALUE 0 inst->dev->dev 4096-ptr_max
PARAM_VALUE 0 inst->frame_buf 4096-ptr_max
PARAM_VALUE 0 inst->frame_vbuf 4096-ptr_max
PARAM_VALUE 0 inst->state 2-3
PARAM_VALUE 0 inst->state_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inst->std 0
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0-s32max
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
CAPPED_DATA 0 inst->dev->dev 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 inst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/platform/chips-media/wave5/wave5-vpu-dec.c wave5_prepare_fb() -> wave5_vpu_dec_reset_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->codec_info 4096-ptr_max
PARAM_VALUE 0 inst->codec_info->dec_info.sec_axi_info.use_bit_enable 1
PARAM_VALUE 0 inst->codec_info->dec_info.sec_axi_info.use_ip_enable 1
PARAM_VALUE 0 inst->dev 4096-ptr_max
PARAM_VALUE 0 inst->dev->attr.support_hevc10bit_dec 1
PARAM_VALUE 0 inst->dev->dev 4096-ptr_max
PARAM_VALUE 0 inst->state 2-3
PARAM_VALUE 0 inst->state_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inst->std 0
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0-63,2147483648-u32max
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
CAPPED_DATA 0 inst->dev->dev 1
DATA_SOURCE 0 inst $0
RX_PATH
TASK_NOT_RUNNING

drivers/media/platform/chips-media/wave5/wave5-vpuapi.c wave5_vpu_dec_give_command() -> wave5_vpu_dec_reset_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->needs_reallocation 1
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0-63
BUF_SIZE 0 inst (-1),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,3040,3256,4104,4824,7552,7944,8768,116088
BUF_SIZE 0 inst (-1),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,3040,3256,4104,4824,7552,7944,8768,116088
DATA_SOURCE 0 inst $0
STR_LEN 0 inst (-1)
STR_LEN 0 inst (-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 &q->mmap_lock

drivers/media/platform/chips-media/wave5/wave5-helper.c wave5_cleanup_instance() -> wave5_vpu_dec_reset_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->dev 4096-ptr_max
PARAM_VALUE 0 inst->fbc_buf_count 1-u32max
PARAM_VALUE 0 inst->list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx 4096-ptr_max,(-22),(-12)
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.done_list.next->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.done_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.done_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.queued_list.next->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.queued_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->cap_q_ctx.q.queued_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.done_list.next->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.done_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.done_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.queued_list.next->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.queued_list.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->out_q_ctx.q.queued_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 index 0-s32max
BUF_SIZE 0 inst (-1),7944
BUF_SIZE 0 inst (-1),7944
BUF_SIZE 0 inst->codec_info (-1),11104
BUF_SIZE 0 inst->dev s32min-(-1),1-s32max
BUF_SIZE 0 inst->ops (-1),8
BUF_SIZE 0 inst->v4l2_fh.ctrl_handler (-1),328
BUF_SIZE 0 inst->v4l2_fh.m2m_ctx (-1),1616
BUF_SIZE 0 inst->v4l2_fh.m2m_ctx->priv (-1),7944
CAPPED_DATA 0 inst->v4l2_fh.m2m_ctx 1
CAPPED_DATA 0 &inst->list 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 inst $0
STR_LEN 0 inst (-1),7
STR_LEN 0 inst (-1),7
PARAM_COMPARE 1 index < $0->fbc_buf_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 inst->codec_info->dec_info.frame_display_flag 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.luma_bitdepth 0-15
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.min_frame_buffer_count 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.param_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.pic_crop_rect.bottom 0-u16max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.pic_crop_rect.right 0-u16max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.rd_ptr 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.new_seq_info.vlc_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.param_buf_size 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.stream_rd_ptr 0-u32max
HOST_DATA 0 inst->codec_info->dec_info.vlc_buf_size 0-u32max
HOST_DATA 0 inst->dev->last_performance_cycles 0-u32max
NO_OVERFLOW_SIMPLE 0 inst->v4l2_ctrl_hdl.nr_of_buckets
NO_OVERFLOW_SIMPLE 0 inst->v4l2_fh.ctrl_handler->nr_of_buckets