Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../display/dc/resource/dcn21/dcn21_resource.c dcn21_fast_validate_bw() -> dcn20_split_stream_for_mpc()

Type Parameter Key Value
PARAM_VALUE 0 res_ctx 4096-ptr_max
PARAM_VALUE 1 pool 4096-ptr_max
PARAM_VALUE 2 primary_pipe 4096-ptr_max
PARAM_VALUE 2 primary_pipe->bottom_pipe 0,4096-ptr_max
PARAM_VALUE 2 primary_pipe->plane_state 1-u64max
PARAM_VALUE 3 secondary_pipe 4096-ptr_max
CAPPED_DATA 1 pool->pipe_count 1
CAPPED_DATA 1 pool->res_cap->num_dsc 1
DATA_SOURCE 3 secondary_pipe r dcn20_find_secondary_pipe
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/../display/dc/resource/dcn20/dcn20_resource.c dcn20_fast_validate_bw() -> dcn20_split_stream_for_mpc()

Type Parameter Key Value
PARAM_VALUE 0 res_ctx 4096-ptr_max
PARAM_VALUE 1 pool 4096-ptr_max
PARAM_VALUE 2 primary_pipe 4096-ptr_max
PARAM_VALUE 2 primary_pipe->bottom_pipe 0,4096-ptr_max
PARAM_VALUE 2 primary_pipe->plane_state 1-u64max
PARAM_VALUE 3 secondary_pipe 4096-ptr_max
CAPPED_DATA 1 pool->pipe_count 1
CAPPED_DATA 1 pool->res_cap->num_dig_link_enc 1
CAPPED_DATA 1 pool->res_cap->num_dsc 1
CAPPED_DATA 2 primary_pipe->plane_state 1
CAPPED_DATA 2 primary_pipe->stream 1
DATA_SOURCE 3 secondary_pipe r dcn20_find_secondary_pipe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 pool->pipe_count