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() -> (struct malidp_hw)->rotmem_required()

Type Parameter Key Value
PARAM_VALUE 0 hwdev 4096-ptr_max
PARAM_VALUE 0 hwdev->hw 4096-ptr_max
PARAM_VALUE 0 hwdev->hw->map.bus_align_bytes 8,16
PARAM_VALUE 0 hwdev->hw->map.n_pixel_formats 21,30-31
PARAM_VALUE 0 hwdev->hw->map.pixel_formats 4096-ptr_max
PARAM_VALUE 3 fmt 808,808530000,808539481,808665410,808665426,808665665,808669761,1448695129
CAPPED_DATA 0 hwdev->hw->map.n_pixel_formats 1
CAPPED_DATA 0 hwdev->min_line_size 1
CAPPED_DATA 1 w 1
CAPPED_DATA 2 h 1
CAPPED_DATA 3 fmt 1
CONTAINER 0 *(-128-0+0) $(-1)
PARAM_COMPARE 0 hwdev->max_line_size >= $0->min_line_size
PARAM_COMPARE 0 hwdev->max_line_size >= $1
PARAM_COMPARE 0 hwdev->max_line_size >= $2
PARAM_COMPARE 0 hwdev->min_line_size <= $1
PARAM_COMPARE 0 hwdev->min_line_size <= $2
PARAM_COMPARE 1 w <= $0->max_line_size
PARAM_COMPARE 1 w >= $0->min_line_size
PARAM_COMPARE 2 h <= $0->max_line_size
PARAM_COMPARE 2 h >= $0->min_line_size
RX_PATH
TASK_NOT_RUNNING
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