Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/amd/amdgpu/jpeg_v5_0_2.c jpeg_v5_0_2_stop() -> jpeg_v5_0_2_deinit_inst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adev | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->jpeg.num_jpeg_inst | 1-255 |
| PARAM_VALUE | 0 | adev->reset_domain->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | adev->reset_domain->sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | i | 0-254 |
| CAPPED_DATA | 1 | i | 1 |
| DATA_SOURCE | 0 | adev | $0 |
| PARAM_COMPARE | 0 | adev->jpeg.num_jpeg_inst | > $1 |
| PARAM_COMPARE | 1 | i | < $0->jpeg.num_jpeg_inst |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &adev->reset_domain->sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &drm_unplug_srcu |