Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/amphion/venc.c venc_s_selection() -> venc_valid_crop()

Type Parameter Key Value
PARAM_VALUE 0 venc 4096-ptr_max
PARAM_VALUE 0 venc->params.crop.left 0-s32max
PARAM_VALUE 0 venc->params.crop.top 0-s32max
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 0 venc 1072,2448
BUF_SIZE 0 venc 1072,2448
CAPPED_DATA 0 venc->params.crop.height 1
CAPPED_DATA 0 venc->params.crop.left 1
CAPPED_DATA 0 venc->params.crop.top 1
CAPPED_DATA 0 venc->params.crop.width 1
USER_DATA 0 venc->params.crop.height 0-u32max[c]
USER_DATA 0 venc->params.crop.left 0-s32max[c]
USER_DATA 0 venc->params.crop.top 0-s32max[c]
USER_DATA 0 venc->params.crop.width 0-u32max[c]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock