Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/media/test-drivers/vivid/vivid-ctrls.c vivid_vid_cap_s_ctrl() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/media/test-drivers/vivid/vivid-vid-cap.c vidioc_query_dv_timings() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vidioc_s_input() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->input 0-254
PARAM_VALUE 0 dev->input_type 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->brightness 1
CAPPED_DATA 0 dev->brightness->handler->lock 1
CAPPED_DATA 0 dev->colorspace 1
CAPPED_DATA 0 dev->colorspace->handler->lock 1
CAPPED_DATA 0 dev->input 1
CAPPED_DATA 0 dev->pixel_array->handler->lock 1
CAPPED_DATA 0 dev->real_rgb_range_cap 1
CAPPED_DATA 0 dev->real_rgb_range_cap->handler->lock 1
CAPPED_DATA 0 dev->tpg.planes 1
DATA_SOURCE 0 dev r video_drvdata
NOSPEC 0 dev->input
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tpg.buf_height 0-u32max
USER_DATA 0 dev->tpg.compose.height 0-u32max
USER_DATA 0 dev->tpg.compose.width 0-u32max
USER_DATA 0 dev->tpg.crop.height 0-u32max
USER_DATA 0 dev->tpg.crop.width 0-u32max
USER_DATA 0 dev->tpg.scaled_width 0-u32max
USER_DATA 0 dev->tpg.src_height 0-u32max
USER_DATA 0 dev->tpg.src_width 0-u32max
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vidioc_s_input() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->input 0-254
PARAM_VALUE 0 dev->input_type 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->brightness 1
CAPPED_DATA 0 dev->brightness->handler->lock 1
CAPPED_DATA 0 dev->colorspace 1
CAPPED_DATA 0 dev->colorspace->handler->lock 1
CAPPED_DATA 0 dev->input 1
CAPPED_DATA 0 dev->pixel_array->handler->lock 1
CAPPED_DATA 0 dev->real_rgb_range_cap 1
CAPPED_DATA 0 dev->real_rgb_range_cap->handler->lock 1
CAPPED_DATA 0 dev->tpg.planes 1
DATA_SOURCE 0 dev r video_drvdata
NOSPEC 0 dev->input
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tpg.buf_height 0-u32max
USER_DATA 0 dev->tpg.compose.height 0-u32max
USER_DATA 0 dev->tpg.compose.width 0-u32max
USER_DATA 0 dev->tpg.crop.height 0-u32max
USER_DATA 0 dev->tpg.crop.width 0-u32max
USER_DATA 0 dev->tpg.scaled_width 0-u32max
USER_DATA 0 dev->tpg.src_height 0-u32max
USER_DATA 0 dev->tpg.src_width 0-u32max
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vidioc_s_input() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->input 0-254
PARAM_VALUE 0 dev->input_type 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 dev->brightness 1
CAPPED_DATA 0 dev->brightness->handler->lock 1
CAPPED_DATA 0 dev->colorspace 1
CAPPED_DATA 0 dev->colorspace->handler->lock 1
CAPPED_DATA 0 dev->input 1
CAPPED_DATA 0 dev->pixel_array->handler->lock 1
CAPPED_DATA 0 dev->real_rgb_range_cap 1
CAPPED_DATA 0 dev->real_rgb_range_cap->handler->lock 1
CAPPED_DATA 0 dev->tpg.planes 1
DATA_SOURCE 0 dev r video_drvdata
NOSPEC 0 dev->input
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tpg.buf_height 0-u32max
USER_DATA 0 dev->tpg.compose.height 0-u32max
USER_DATA 0 dev->tpg.compose.width 0-u32max
USER_DATA 0 dev->tpg.crop.height 0-u32max
USER_DATA 0 dev->tpg.crop.width 0-u32max
USER_DATA 0 dev->tpg.scaled_width 0-u32max
USER_DATA 0 dev->tpg.src_height 0-u32max
USER_DATA 0 dev->tpg.src_width 0-u32max
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_field_cap() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_get_pixel_aspect() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->blended_line (-1),4
BUF_SIZE 0 dev->edid (-1),128
BUF_SIZE 0 dev->fmt_cap (-1),4092
BUF_SIZE 0 dev->fmt_out (-1),4092
BUF_SIZE 0 dev->mdev.dev (-1),1616
BUF_SIZE 0 dev->mdev.ops (-1),40
BUF_SIZE 0 dev->scaled_line (-1),4
BUF_SIZE 0 dev->v4l2_dev.mdev (-1),992
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->mdev.bus_info (-1),31
STR_LEN 0 dev->v4l2_dev.name (-1),35
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tpg.buf_height 0-u32max
USER_DATA 0 dev->tpg.compose.height 0-u32max
USER_DATA 0 dev->tpg.compose.width 0-u32max
USER_DATA 0 dev->tpg.crop.height 0-u32max
USER_DATA 0 dev->tpg.crop.width 0-u32max
USER_DATA 0 dev->tpg.scaled_width 0-u32max
USER_DATA 0 dev->tpg.src_height 0-u32max
USER_DATA 0 dev->tpg.src_width 0-u32max
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

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_get_video_aspect() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->blended_line (-1),4
BUF_SIZE 0 dev->edid (-1),128
BUF_SIZE 0 dev->fmt_cap (-1),4092
BUF_SIZE 0 dev->fmt_out (-1),4092
BUF_SIZE 0 dev->mdev.dev (-1),1616
BUF_SIZE 0 dev->mdev.ops (-1),40
BUF_SIZE 0 dev->scaled_line (-1),4
BUF_SIZE 0 dev->v4l2_dev.mdev (-1),992
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->mdev.bus_info (-1),31
STR_LEN 0 dev->v4l2_dev.name (-1),35
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tpg.buf_height 0-u32max
USER_DATA 0 dev->tpg.compose.height 0-u32max
USER_DATA 0 dev->tpg.compose.width 0-u32max
USER_DATA 0 dev->tpg.crop.height 0-u32max
USER_DATA 0 dev->tpg.crop.width 0-u32max
USER_DATA 0 dev->tpg.scaled_width 0-u32max
USER_DATA 0 dev->tpg.src_height 0-u32max
USER_DATA 0 dev->tpg.src_width 0-u32max
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

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_update_quality() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->blended_line (-1),4
BUF_SIZE 0 dev->edid (-1),128
BUF_SIZE 0 dev->fmt_cap (-1),4092
BUF_SIZE 0 dev->fmt_out (-1),4092
BUF_SIZE 0 dev->mdev.dev (-1),1616
BUF_SIZE 0 dev->mdev.ops (-1),40
BUF_SIZE 0 dev->scaled_line (-1),4
BUF_SIZE 0 dev->v4l2_dev.mdev (-1),992
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->mdev.bus_info (-1),31
STR_LEN 0 dev->v4l2_dev.name (-1),35
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->input 0-254[c]
USER_DATA 0 dev->tv_freq 705-15327[u]
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

drivers/media/test-drivers/vivid/vivid-vid-cap.c vivid_vid_cap_s_dv_timings() -> vivid_is_hdmi_cap()

Type Parameter Key Value
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_fillbuff() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->field_cap 1
CAPPED_DATA 0 dev->fmt_cap->fourcc 1
CAPPED_DATA 0 dev->ro_int32 1
CAPPED_DATA 0 dev->ro_int32->handler->lock 1
CAPPED_DATA 0 dev->src_rect.height 1
CAPPED_DATA 0 dev->src_rect.width 1
DATA_SOURCE 0 dev $0
LOCK2 0 &dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex

drivers/media/test-drivers/vivid/vivid-kthread-cap.c vivid_fillbuff() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->ctrl_hdl_user_aud.lock 1
CAPPED_DATA 0 dev->ctrl_hdl_user_gen.lock 1
CAPPED_DATA 0 dev->ctrl_hdl_user_vid.lock 1
CAPPED_DATA 0 dev->ro_int32 1
CAPPED_DATA 0 dev->ro_int32->handler->lock 1
DATA_SOURCE 0 dev $0
LOCK2 0 &dev->mutex

drivers/media/test-drivers/vivid/vivid-vid-common.c vidioc_dv_timings_cap() -> vivid_is_hdmi_cap()

Type Parameter Key Value
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-common.c vidioc_enum_dv_timings() -> vivid_is_hdmi_cap()

Type Parameter Key Value
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-common.c vidioc_g_dv_timings() -> vivid_is_hdmi_cap()

Type Parameter Key Value
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/test-drivers/vivid/vivid-vid-common.c vivid_input_is_connected_to() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
HALF_LOCKED2 0 &dev->mutex

drivers/media/test-drivers/vivid/vivid-vid-common.c vivid_vid_can_loop() -> vivid_is_hdmi_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
CAPPED_DATA 0 dev->field_cap 1
CAPPED_DATA 0 dev->fmt_cap->fourcc 1
CAPPED_DATA 0 dev->src_rect.height 1
CAPPED_DATA 0 dev->src_rect.width 1
DATA_SOURCE 0 dev $0
LOCK2 0 &dev->mutex
TYPE_LOCK (struct vivid_dev)->mutex