Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/i2c/tvp5150.c tvp5150_set_selection() -> v4l2_rect_equal()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 0 r1->left 0-511
PARAM_VALUE 0 r1->top 0-127
PARAM_VALUE 1 r2 0,4096-ptr_max
BUF_SIZE 0 r1 16
BUF_SIZE 1 r2 16
DATA_SOURCE 1 r2 r tvp5150_get_pad_crop
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 r1->height 0-u32max[c]
USER_DATA 0 r1->width 0-u32max[c]
HALF_LOCKED2 &video->mutex
HALF_LOCKED2 global &list_lock

drivers/media/i2c/imx678.c imx678_program_window() -> v4l2_rect_equal()

Type Parameter Key Value
PARAM_VALUE 0 r1 0,4096-ptr_max
PARAM_VALUE 1 r2 2082428159908876288
BUF_SIZE 0 r1 (-1),16
BUF_SIZE 0 r1 (-1),16
DATA_SOURCE 0 r1 $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->isys->stream_mutex
HALF_LOCKED2 &stream->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 sd->active_state->lock

drivers/media/platform/imagination/e5010-jpeg-enc.c e5010_s_selection() -> v4l2_rect_equal()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 0 r1->left 0-s32max
PARAM_VALUE 0 r1->top 0-s32max
PARAM_VALUE 1 r2 2408400678025125888
PARAM_VALUE 1 r2->left 0
PARAM_VALUE 1 r2->top 0
USER_DATA 0 r1->height 0-u32max
USER_DATA 0 r1->left 0-s32max
USER_DATA 0 r1->top 0-s32max
USER_DATA 0 r1->width 0-u32max
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock