Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/xe/xe_bo.c xe_bo_is_vram() -> resource_is_vram()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ggtt->lock | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &vm->lock | ||
| HALF_LOCKED2 | bo->ttm.base.resv | ||
| HALF_LOCKED2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | ttm_bo->base.resv |
drivers/gpu/drm/xe/xe_bo.c xe_bo_move() -> resource_is_vram()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| DATA_SOURCE | 0 | res | $3 |
| NOSPEC | 0 | res->bo->base.size | |
| 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 | ttm_bo->base.resv |
drivers/gpu/drm/xe/xe_bo.c xe_bo_move() -> resource_is_vram()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| DATA_SOURCE | 0 | res | $3 |
| NOSPEC | 0 | res->bo->base.size | |
| 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 | ttm_bo->base.resv |