Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/amd/amdgpu/amdgpu_virt.c amdgpu_virt_request_bad_pages() -> (struct amdgpu_virt_ops)->req_bad_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adev | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->reset_domain | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->virt.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | adev->virt.ops->req_bad_pages | 6520915385785614336 |
| PARAM_VALUE | 0 | adev->virt.vf2pf_update_interval_ms | 0 |
| PARAM_VALUE | 0 | adev->virt.vf2pf_work.work.lockdep_map->name | 0-255 |
| DATA_SOURCE | 0 | adev | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &adev->reset_domain->sem | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct amdgpu_reset_domain)->sem |