Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/../display/amdgpu_dm/tests/amdgpu_dm_test.c dm_test_atomic_destroy_state_no_context() -> dm_atomic_destroy_state()

Type Parameter Key Value
PARAM_VALUE 0 obj 0
PARAM_VALUE 1 state 4096-ptr_max
NOCHECK_CALL

drivers/gpu/drm/drm_atomic.c drm_atomic_commit_default_clear() -> (struct drm_private_state_funcs)->atomic_destroy_state()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->funcs 4096-ptr_max
CONTAINER 0 -16-216+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->master_mutex
HALF_LOCKED2 &display->drm->mode_config.mutex
HALF_LOCKED2 &fb_helper->client.modeset_mutex
HALF_LOCKED2 &fb_helper->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/drm_atomic.c drm_atomic_private_obj_fini() -> (struct drm_private_state_funcs)->atomic_destroy_state()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->funcs 4096-ptr_max
PARAM_VALUE 0 obj->funcs->atomic_destroy_state 0,4096-ptr_max
DATA_SOURCE 0 obj $0
STR_LEN 0 obj (-1),28
STR_LEN 0 obj (-1),28
CONTAINER 0 -16-216+0 $(-1)
CONTAINER 1 *(-16-216+208) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->clients_lock
HALF_LOCKED2 _T->lock