Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/arm/malidp_planes.c malidp_de_plane_check() -> malidp_de_prefetch_settings()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->hwdev 4096-ptr_max
PARAM_VALUE 0 mp->hwdev->hw 4096-ptr_max
PARAM_VALUE 0 mp->hwdev->hw->map.bus_align_bytes 8,16
PARAM_VALUE 0 mp->hwdev->hw->map.n_pixel_formats 21,30-31
PARAM_VALUE 0 mp->hwdev->hw->map.pixel_formats 4096-ptr_max
PARAM_VALUE 0 mp->layer 4096-ptr_max
PARAM_VALUE 0 mp->layer->id 1-2,4,8,16
PARAM_VALUE 0 mp->layer->rot 0-2
PARAM_VALUE 1 ms 4096-ptr_max
PARAM_VALUE 1 ms->format 0-254
PARAM_VALUE 1 ms->rotmem_size 0-s32max
CAPPED_DATA 0 mp->hwdev->hw->map.n_pixel_formats 1
CAPPED_DATA 0 mp->hwdev->min_line_size 1
CAPPED_DATA 0 mp->layer->id 1
CAPPED_DATA 1 ms->n_planes 1
FUZZY_MAX 0 mp->layer->rot 2
FUZZY_MAX 1 ms->rotmem_size 0
PARAM_COMPARE 0 mp->hwdev->max_line_size >= $0->hwdev->min_line_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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