Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_hdmi.c intel_hdmi_compute_config() -> intel_hdmi_compute_spd_infoframe()

Type Parameter Key Value
PARAM_VALUE 0 encoder 4096-ptr_max
PARAM_VALUE 1 crtc_state 4096-ptr_max
PARAM_VALUE 1 crtc_state->framestart_delay 1
PARAM_VALUE 1 crtc_state->hw.adjusted_mode.flags 0,4-u32max
PARAM_VALUE 1 crtc_state->lane_count 4
PARAM_VALUE 1 crtc_state->output_format 0-1
PARAM_VALUE 1 crtc_state->pipe_bpp 18-36
PARAM_VALUE 1 crtc_state->pipe_src.x1 0
PARAM_VALUE 1 crtc_state->pipe_src.x2 0-u16max
PARAM_VALUE 1 crtc_state->pipe_src.y1 0
PARAM_VALUE 1 crtc_state->pipe_src.y2 0-u16max
PARAM_VALUE 1 crtc_state->pixel_multiplier 1-2
PARAM_VALUE 1 crtc_state->sink_format 0-1
PARAM_VALUE 1 crtc_state->uapi.crtc 4096-ptr_max
PARAM_VALUE 2 conn_state 4096-ptr_max
PARAM_VALUE 2 conn_state->connector 4096-ptr_max
PARAM_VALUE 2 conn_state->crtc 4096-ptr_max
CAPPED_DATA 1 crtc_state->uapi.crtc 1
CAPPED_DATA 2 conn_state->crtc 1
DATA_SOURCE 0 encoder $0
DATA_SOURCE 1 crtc_state $1
DATA_SOURCE 2 conn_state $2
FUZZY_MAX 1 crtc_state->pixel_multiplier 2
HARD_MAX 1 crtc_state->pixel_multiplier 2
RX_PATH
TASK_NOT_RUNNING