Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/test-drivers/vimc/vimc-sensor.c vimc_sensor_tpg_s_format() -> tpg_s_bytesperline()

Type Parameter Key Value
PARAM_VALUE 0 tpg 4096-ptr_max
PARAM_VALUE 1 plane 0
NOCHECK_CALL
HALF_LOCKED2 sd->active_state->lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_s_fmt_vid_cap() -> tpg_s_bytesperline()

Type Parameter Key Value
PARAM_VALUE 0 tpg 4096-ptr_max
PARAM_VALUE 0 tpg->buffers 1-3
PARAM_VALUE 0 tpg->planes 1-3
CAPPED_DATA 1 plane 1
NOCHECK_CALL
USER_DATA 0 tpg->buf_height 0-u32max[u]
USER_DATA 0 tpg->fourcc 540029273,540160345,540422489,808534338,808534599,808535874,808
NO_OVERFLOW_SIMPLE 0 tpg->compose.width
NO_OVERFLOW_SIMPLE 0 tpg->src_width
UNITS 2 bpl unit_byte
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock