Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/msm/disp/dpu1/dpu_rm.c _dpu_rm_reserve_dsc() -> _dpu_rm_dsc_alloc()

Type Parameter Key Value
PARAM_VALUE 0 rm 4096-ptr_max
PARAM_VALUE 1 global_state 4096-ptr_max
PARAM_VALUE 1 global_state->cdm_to_crtc_id 0
PARAM_VALUE 1 global_state->ctl_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 global_state->cwb_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 global_state->dsc_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 global_state->dspp_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 global_state->mixer_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 global_state->pingpong_to_crtc_id 4096-ptr_max
PARAM_VALUE 1 *global_state->ctl_to_crtc_id 0-4294967295
PARAM_VALUE 1 *global_state->cwb_to_crtc_id 0-4294967295
PARAM_VALUE 1 *global_state->dsc_to_crtc_id 0
PARAM_VALUE 1 *global_state->dspp_to_crtc_id 0-4294967295
PARAM_VALUE 1 *global_state->mixer_to_crtc_id 0-4294967295
PARAM_VALUE 1 *global_state->pingpong_to_crtc_id 0-4294967295
PARAM_VALUE 3 top 5235459032980037632
PARAM_VALUE 3 top->num_dsc 1-2
PARAM_VALUE 3 top->num_dspp 0-2
PARAM_VALUE 3 top->num_intf 1-u32max
PARAM_VALUE 3 top->num_lm 1-2
CAPPED_DATA 3 top->num_dsc 1
CAPPED_DATA 3 top->num_lm 1
DATA_SOURCE 0 rm $0
DATA_SOURCE 1 global_state $1
DATA_SOURCE 2 crtc_id $2
DATA_SOURCE 3 top $3
PARAM_COMPARE 3 top->num_dsc <= $3->num_intf
RX_PATH
TASK_NOT_RUNNING
UNITS 2 crtc_id unit_array_size
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex