Documented in 1 files:
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/amdgpu_ttm.c amdgpu_ttm_backend_bind() -> amdgpu_gtt_mgr_has_gart_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| DATA_SOURCE | 0 | res | $2 |
| NOSPEC | 0 | res->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | res->bo->base.size | 0-u64max[c] |
| USER_DATA | 0 | res->bo->base.vma_node.vm_node.size | 1-s32max[c] |
| USER_DATA | 0 | res->bo->base.vma_node.vm_node.start | 0-s32max[c] |
| USER_DATA | 0 | res->bo->page_alignment | 0-u32max |
| USER_DATA | 0 | res->size | 0-u64max[c] |
| HALF_LOCKED2 | bo->base.resv |
drivers/gpu/drm/amd/amdgpu/amdgpu_gtt_mgr.c amdgpu_gtt_mgr_compatible() -> amdgpu_gtt_mgr_has_gart_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| CAPPED_DATA | 0 | res->mem_type | 1 |
| DATA_SOURCE | 0 | res | $1 |
| BIT_INFO | 0 | res->placement | 0x0,0xfffffffb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | res->bo->base.size | |
| NO_OVERFLOW_SIMPLE | 0 | res->size | |
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex | ||
| HALF_LOCKED2 | &gobj->dev->object_name_lock | ||
| HALF_LOCKED2 | &overlay->mutex | ||
| HALF_LOCKED2 | &p->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &process_info->lock | ||
| HALF_LOCKED2 | &rdev->exclusive_lock | ||
| HALF_LOCKED2 | &rdev->pm.mclk_lock | ||
| HALF_LOCKED2 | bo->base.resv | ||
| HALF_LOCKED2 | bo->tbo.base.resv | ||
| HALF_LOCKED2 | bo->ttm.base.resv | ||
| HALF_LOCKED2 | gbo->bo.base.resv | ||
| HALF_LOCKED2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | obj->base.resv | ||
| HALF_LOCKED2 | qobj->tbo.base.resv | ||
| HALF_LOCKED2 | vbo->tbo.base.resv |
drivers/gpu/drm/amd/amdgpu/amdgpu_gtt_mgr.c amdgpu_gtt_mgr_intersects() -> amdgpu_gtt_mgr_has_gart_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| CAPPED_DATA | 0 | res->mem_type | 1 |
| DATA_SOURCE | 0 | res | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |