Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/v3d/v3d_sched.c v3d_copy_performance_query() -> write_to_buffer()

Type Parameter Key Value
PARAM_VALUE 3 value 0-1
FUZZY_MAX 3 value 1
HARD_MAX 3 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sched->job_list_lock

drivers/gpu/drm/v3d/v3d_sched.c v3d_copy_query_results() -> write_to_buffer()

Type Parameter Key Value
PARAM_VALUE 1 idx 0
PARAM_VALUE 3 value 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sched->job_list_lock

drivers/gpu/drm/v3d/v3d_sched.c v3d_copy_query_results() -> write_to_buffer()

Type Parameter Key Value
PARAM_VALUE 1 idx 1
PARAM_VALUE 3 value 0-1
FUZZY_MAX 3 value 1
HARD_MAX 3 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sched->job_list_lock

drivers/gpu/drm/v3d/v3d_sched.c v3d_write_performance_query_result() -> write_to_buffer()

Type Parameter Key Value
PARAM_VALUE 1 idx 0-254
PARAM_VALUE 3 value 0-u32max
DATA_SOURCE 0 dst $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &guc->submission_state.lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sched->job_list_lock