Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/vkms/vkms_composer.c vkms_set_crc_source() -> vkms_set_composer()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vkms/vkms_writeback.c vkms_wb_atomic_commit() -> vkms_set_composer()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 0 out->composer_state 4096-ptr_max
PARAM_VALUE 1 enabled 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/vkms/vkms_writeback.c vkms_wb_cleanup_job() -> vkms_set_composer()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 enabled 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wb_connector->job_lock
HALF_LOCKED2 flags