Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_psp.c psp_hw_fini() -> psp_dtm_terminate()

Type Parameter Key Value
PARAM_VALUE 0 psp 4096-ptr_max
PARAM_VALUE 0 psp->adev 4096-ptr_max
PARAM_VALUE 0 psp->adev->reset_domain->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 psp->adev->reset_domain->sem.first_waiter->type 0-1
PARAM_VALUE 0 psp->rap_context.context.initialized 0
PARAM_VALUE 0 psp->ta_fw 1-u64max
BUF_SIZE 0 psp 4848
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_psp.c psp_suspend() -> psp_dtm_terminate()

Type Parameter Key Value
PARAM_VALUE 0 psp 4096-ptr_max
PARAM_VALUE 0 psp->adev 4096-ptr_max
PARAM_VALUE 0 psp->adev->reset_domain->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 psp->adev->reset_domain->sem.first_waiter->type 0-1
PARAM_VALUE 0 psp->ta_fw 1-u64max
BUF_SIZE 0 psp 4848
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &adev->reset_domain->sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &drm_unplug_srcu