Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../display/dc/core/dc_resource.c resource_log_pipe_topology_update() -> resource_log_pipe_for_stream()

Type Parameter Key Value
PARAM_VALUE 0 dc 4096-ptr_max
PARAM_VALUE 0 dc->ctx 4096-ptr_max
PARAM_VALUE 0 dc->ctx->logger 4096-ptr_max
PARAM_VALUE 0 dc->current_state 4096-ptr_max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->stream_count 1-255
PARAM_VALUE 1 state->streams 4096-ptr_max
PARAM_VALUE 2 otg_master 4096-ptr_max
PARAM_VALUE 3 stream_idx 0-254
PARAM_VALUE 4 is_phantom_pipe 0
CAPPED_DATA 3 stream_idx 1
DATA_SOURCE 0 dc $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 otg_master r resource_get_otg_master_for_stream
PARAM_COMPARE 1 state->stream_count > $3
PARAM_COMPARE 3 stream_idx < $1->stream_count
NOCHECK_CALL
UNITS 3 stream_idx unit_array_size

drivers/gpu/drm/amd/amdgpu/../display/dc/core/dc_resource.c resource_log_pipe_topology_update() -> resource_log_pipe_for_stream()

Type Parameter Key Value
PARAM_VALUE 0 dc 4096-ptr_max
PARAM_VALUE 0 dc->ctx 4096-ptr_max
PARAM_VALUE 0 dc->ctx->logger 4096-ptr_max
PARAM_VALUE 0 dc->current_state 4096-ptr_max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->phantom_stream_count 1-255
PARAM_VALUE 1 state->stream_count 1-255
PARAM_VALUE 1 state->stream_status 4096-ptr_max
PARAM_VALUE 1 state->streams 4096-ptr_max
PARAM_VALUE 2 otg_master 4096-ptr_max
PARAM_VALUE 3 stream_idx 0-254
PARAM_VALUE 4 is_phantom_pipe 1
CAPPED_DATA 1 state->stream_count 1
CAPPED_DATA 3 stream_idx 1
DATA_SOURCE 0 dc $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 otg_master r resource_get_otg_master_for_stream
FUZZY_MAX 1 state->phantom_stream_count 1
PARAM_COMPARE 1 state->stream_count > $3
PARAM_COMPARE 3 stream_idx < $1->stream_count
NOCHECK_CALL
UNITS 3 stream_idx unit_array_size