Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_dp.c intel_dp_compute_output_format() -> intel_dp_sink_format_valid()

Type Parameter Key Value
PARAM_VALUE 1 mode 4096-ptr_max
PARAM_VALUE 2 sink_format 0-1
BUF_SIZE 1 mode 120
DATA_SOURCE 2 sink_format $4
HARD_MAX 2 sink_format 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/i915/display/intel_dp.c intel_dp_mode_valid_format() -> intel_dp_sink_format_valid()

Type Parameter Key Value
PARAM_VALUE 0 connector 4096-ptr_max
PARAM_VALUE 0 connector->base.display_info.hdmi.y420_vdb_modes 4096-ptr_max
PARAM_VALUE 1 mode 4096-ptr_max
PARAM_VALUE 1 mode->clock 10000-s32max
PARAM_VALUE 2 sink_format 0-1
DATA_SOURCE 0 connector $0
DATA_SOURCE 1 mode $1
DATA_SOURCE 2 sink_format $3
BIT_INFO 1 mode->flags 0x0,0xffffefff
HARD_MAX 2 sink_format 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
HALF_LOCKED2 &drm->mode_config.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock