Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/ti/vpe/vip.c vip_s_selection() -> enclosed_rectangle()

Type Parameter Key Value
PARAM_VALUE 0 a 8696382862194790400
PARAM_VALUE 1 b 4096-ptr_max
USER_DATA 0 a->height 0-u32max[c]
USER_DATA 0 a->left 2-s32max[c]
USER_DATA 0 a->top 2-s32max[c]
USER_DATA 0 a->width 0-u32max[c]
USER_DATA 1 b->height 0-u32max[u]
USER_DATA 1 b->left s32min-s32max[u]
USER_DATA 1 b->top s32min-s32max[u]
USER_DATA 1 b->width 0-u32max[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/platform/ti/vpe/vip.c vip_s_selection() -> enclosed_rectangle()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 8696382862194790400
USER_DATA 0 a->height 0-u32max[u]
USER_DATA 0 a->left s32min-s32max
USER_DATA 0 a->top s32min-s32max
USER_DATA 0 a->width 0-u32max[u]
USER_DATA 1 b->height 0-u32max[c]
USER_DATA 1 b->left 2-s32max[c]
USER_DATA 1 b->top 2-s32max[c]
USER_DATA 1 b->width 0-u32max[c]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock