Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/chips-media/wave5/wave5-vpuapi.c wave5_vpu_dec_open() -> wave5_check_dec_open_param()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->bitstream_vbuf.size 1-u32max
PARAM_VALUE 0 inst->bitstream_vbuf.vaddr 1-ptr_max
PARAM_VALUE 0 inst->dev 4096-ptr_max
PARAM_VALUE 0 inst->dev->dev 4096-ptr_max
PARAM_VALUE 0 inst->state 0
PARAM_VALUE 0 inst->v4l2_fh.m2m_ctx->last_src_buf 0
PARAM_VALUE 1 param 5957883993576452096
PARAM_VALUE 1 param->bitstream_buffer_size 1-u32max
BUF_SIZE 0 inst s32min-(-2),1-s32max
BUF_SIZE 0 inst s32min-(-2),1-s32max
DATA_SOURCE 0 inst $0
DATA_SOURCE 1 param $1
MEM_ZERO 1 param
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 q->lock