Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/test-drivers/vicodec/vicodec-core.c device_process() -> update_state_from_header()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->fh.m2m_ctx 4096-ptr_max
PARAM_VALUE 0 ctx->fh.m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->fh.m2m_ctx->out_q_ctx.rdy_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ctx->is_stateless 1
BUF_SIZE 0 ctx 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 ctx 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 &ctx->hdl 1
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL