Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vc4/vc4_kms.c vc4_ctm_atomic_check() -> vc4_get_ctm_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->acquire_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->crtcs | 4096-ptr_max |
| PARAM_VALUE | 0 | state->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | state->dev->mode_config.num_crtc | 1-s32max |
| PARAM_VALUE | 0 | state->private_objs | 4096-ptr_max |
| PARAM_VALUE | 1 | manager | 4096-ptr_max |
| BUF_SIZE | 0 | state | (-1),176 |
| BUF_SIZE | 0 | state | (-1),176 |
| BUF_SIZE | 0 | state->dev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | state->dev->mode_config.num_crtc | 1 |
| CAPPED_DATA | 0 | state->dev->mode_config.num_total_plane | 1 |
| CAPPED_DATA | 0 | state->num_connector | 1 |
| DATA_SOURCE | 0 | state | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | state->dev->mode_config.connector_ida.xa.xa_flags | 67108869 |
| HOST_DATA | 0 | state->dev->mode_config.object_idr.idr_rt.xa_flags | 0,67108864-u32max |
| HOST_DATA | 0 | state->dev->mode_config.tile_idr.idr_rt.xa_flags | 0,67108864-u32max |
| HOST_DATA | 0 | state->dev->num_crtcs | 2[c] |
| HOST_DATA | 0 | state->dev->ref.refcount.refs.counter | s32min-s32max |
| USER_DATA | 0 | state->allow_modeset | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->num_crtcs | |
| HALF_LOCKED2 | &client->modeset_mutex | ||
| HALF_LOCKED2 | &dev->mode_config.connection_mutex | ||
| HALF_LOCKED2 | &dev->mode_config.connection_mutex.mutex | ||
| HALF_LOCKED2 | 0 | &state->dev->mode_config.connection_mutex | |
| HALF_LOCKED2 | 0 | &state->dev->mode_config.connection_mutex.mutex |
drivers/gpu/drm/vc4/vc4_kms.c vc4_ctm_atomic_check() -> vc4_get_ctm_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->acquire_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->crtcs | 4096-ptr_max |
| PARAM_VALUE | 0 | state->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | state->dev->mode_config.num_crtc | 1-s32max |
| PARAM_VALUE | 0 | state->private_objs | 4096-ptr_max |
| PARAM_VALUE | 1 | manager | 4096-ptr_max |
| BUF_SIZE | 0 | state | (-1),176 |
| BUF_SIZE | 0 | state | (-1),176 |
| BUF_SIZE | 0 | state->dev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | state->dev->mode_config.num_crtc | 1 |
| CAPPED_DATA | 0 | state->dev->mode_config.num_total_plane | 1 |
| CAPPED_DATA | 0 | state->num_connector | 1 |
| DATA_SOURCE | 0 | state | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | state->dev->mode_config.connector_ida.xa.xa_flags | 67108869 |
| HOST_DATA | 0 | state->dev->mode_config.object_idr.idr_rt.xa_flags | 0,67108864-u32max |
| HOST_DATA | 0 | state->dev->mode_config.tile_idr.idr_rt.xa_flags | 0,67108864-u32max |
| HOST_DATA | 0 | state->dev->num_crtcs | 2[c] |
| HOST_DATA | 0 | state->dev->ref.refcount.refs.counter | s32min-s32max |
| USER_DATA | 0 | state->allow_modeset | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | state->dev->num_crtcs | |
| HALF_LOCKED2 | &client->modeset_mutex | ||
| HALF_LOCKED2 | &dev->mode_config.connection_mutex | ||
| HALF_LOCKED2 | &dev->mode_config.connection_mutex.mutex | ||
| HALF_LOCKED2 | 0 | &state->dev->mode_config.connection_mutex | |
| HALF_LOCKED2 | 0 | &state->dev->mode_config.connection_mutex.mutex |