Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/test-drivers/vivid/vivid-vid-out.c vidioc_s_output() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->output 0-254
PARAM_VALUE 0 dev->output_type 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->output 1
DATA_SOURCE 0 dev r video_drvdata
NOCHECK_CALL
USER_DATA 0 dev->output 0-254[c]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-out.c vivid_vid_out_s_dv_timings() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
NOCHECK_CALL
USER_DATA 0 dev->dv_timings_out s32min-s32max
USER_DATA 0 dev->dv_timings_out.bt.cea861_vic 0-255[u]
USER_DATA 0 dev->dv_timings_out.bt.flags 0-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.hbackporch 0-u32max[c]
USER_DATA 0 dev->dv_timings_out.bt.hdmi_vic 0-255[u]
USER_DATA 0 dev->dv_timings_out.bt.height 0-u32max[c]
USER_DATA 0 dev->dv_timings_out.bt.hfrontporch 0-u32max[c]
USER_DATA 0 dev->dv_timings_out.bt.hsync 0-u32max[c]
USER_DATA 0 dev->dv_timings_out.bt.il_vbackporch 0-10240[u]
USER_DATA 0 dev->dv_timings_out.bt.il_vfrontporch 0-10240[u]
USER_DATA 0 dev->dv_timings_out.bt.il_vsync 0-10240[u]
USER_DATA 0 dev->dv_timings_out.bt.interlaced 0-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.picture_aspect.denominator 0-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.picture_aspect.numerator 0-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.pixelclock 0-u64max[c]
USER_DATA 0 dev->dv_timings_out.bt.polarities 0-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.standards 4-u32max[u]
USER_DATA 0 dev->dv_timings_out.bt.vbackporch 0-10240[c]
USER_DATA 0 dev->dv_timings_out.bt.vfrontporch 0-10240[c]
USER_DATA 0 dev->dv_timings_out.bt.vsync 0-10240[c]
USER_DATA 0 dev->dv_timings_out.bt.width 0-u32max[c]
USER_DATA 0 dev->dv_timings_out.type 0[u]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-out.c vivid_vid_out_s_std() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->std_out 1
DATA_SOURCE 0 dev r video_drvdata
NOCHECK_CALL
USER_DATA 0 dev->std_out 0-u64max[c]
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-ctrls.c vivid_vid_out_s_ctrl() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-ctrls.c vivid_vid_out_s_ctrl() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-ctrls.c vivid_vid_out_s_ctrl() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->vb_vid_out_q.is_busy 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-core.c vivid_create_instance() -> vivid_update_format_out()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dv_timings_out.bt.interlaced 0
PARAM_VALUE 0 dev->dv_timings_out.bt.vsync 5
PARAM_VALUE 0 dev->output_type 4096-ptr_max
PARAM_VALUE 0 dev->std_out 255
PARAM_VALUE 0 dev->tv_field_out 4
BUF_SIZE 0 dev 46648
BUF_SIZE 0 dev->blended_line 4
BUF_SIZE 0 dev->edid 128
BUF_SIZE 0 dev->fmt_cap 4092
BUF_SIZE 0 dev->fmt_out 4092
BUF_SIZE 0 dev->mdev.dev 1616
BUF_SIZE 0 dev->mdev.ops 40
BUF_SIZE 0 dev->scaled_line 4
BUF_SIZE 0 dev->v4l2_dev.mdev 992
CAPPED_DATA 0 dev->inst 1
CAPPED_DATA 0 dev->num_inputs 1
CAPPED_DATA 0 dev->num_outputs 1
CAPPED_DATA 0 dev->tpg.planes 1
DATA_SOURCE 0 dev r _kzalloc_noprof
STR_LEN 0 dev->mdev.bus_info 31
STR_LEN 0 dev->v4l2_dev.name 35
MEM_ZERO 0 &dev->tpg
MEM_ZERO 0 &dev->v4l2_dev.prio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->query_dv_timings_size
NO_OVERFLOW_SIMPLE 0 dev->tpg.compose.width
NO_OVERFLOW_SIMPLE 0 dev->tpg.src_width