Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpu.c irq_thread() -> (struct vpu_instance_ops)->finish_process()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->ops 4096-ptr_max
CONTAINER 0 -0-1216+0 $(-1)
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->codec_info->enc_info.stream_rd_ptr 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.stream_wr_ptr 0-u32max
HOST_DATA 0 inst->dev->last_performance_cycles 0-u32max
LOCK2 &dev->irq_lock
LOCK2 &dev->irq_sem
TYPE_LOCK (struct vpu_device)->irq_lock
TYPE_LOCK (struct vpu_device)->irq_sem

drivers/media/platform/chips-media/wave5/wave5-vpu.c wave5_vpu_irq_thread() -> (struct vpu_instance_ops)->finish_process()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->ops 4096-ptr_max
CAPPED_DATA 0 &inst->list 1
CONTAINER 0 -0-1216+0 $(-1)
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->codec_info->enc_info.stream_rd_ptr 0-u32max
HOST_DATA 0 inst->codec_info->enc_info.stream_wr_ptr 0-u32max
HOST_DATA 0 inst->dev->last_performance_cycles 0-u32max
LOCK2 &dev->irq_lock
TYPE_LOCK (struct vpu_device)->irq_lock