Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/tegra/plane.c tegra_plane_update_transparency() -> tegra_plane_get_overlap_index()

Type Parameter Key Value
PARAM_VALUE 0 plane 4096-ptr_max
PARAM_VALUE 1 other 4096-ptr_max
CAPPED_DATA 0 plane 1
CAPPED_DATA 0 plane->dc 1
CAPPED_DATA 1 other->dc 1
DATA_SOURCE 0 plane $0
DATA_SOURCE 1 other r to_tegra_plane
PARAM_COMPARE 0 plane != $1
PARAM_COMPARE 1 other != $0
PARAM_COMPARE 1 other != $0
PARAM_COMPARE 1 other->dc == $0->dc
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