Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/ti/vpe/vpe.c vpe_s_selection() -> __vpe_try_selection()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 s 2250118541775958016
PARAM_VALUE 1 s->type 0-8,11-u32max
DATA_SOURCE 0 ctx r to_vpe_ctx
USER_DATA 1 s->flags 0-u32max[u]
USER_DATA 1 s->r.height 0-u32max[u]
USER_DATA 1 s->r.left s32min-s32max[u]
USER_DATA 1 s->r.top s32min-s32max[u]
USER_DATA 1 s->r.width 0-u32max[u]
USER_DATA 1 s->target 0-u32max[u]
USER_DATA 1 s->type 0-8,11-u32max[u]
USER_PTR 1 s->reserved
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock