Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_blit.c vmw_external_bo_copy() -> map_external()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bo | 4096-ptr_max |
| PARAM_VALUE | 0 | bo->tbo.bdev->pool.dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | bo->tbo.resource | 4096-ptr_max |
| PARAM_VALUE | 0 | bo->tbo.resource->size | 1-u64max |
| PARAM_VALUE | 0 | bo->tbo.ttm | 4096-ptr_max |
| PARAM_VALUE | 1 | map | 1793474305277300736 |
| PARAM_VALUE | 1 | map->is_iomem | 0 |
| PARAM_VALUE | 1 | map->vaddr | 0 |
| PARAM_VALUE | 1 | map->vaddr_iomem | 0 |
| DATA_SOURCE | 0 | bo | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/vmwgfx/vmwgfx_blit.c vmw_external_bo_copy() -> map_external()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bo | 4096-ptr_max |
| PARAM_VALUE | 0 | bo->tbo.bdev->pool.dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | bo->tbo.resource | 4096-ptr_max |
| PARAM_VALUE | 0 | bo->tbo.resource->size | 1-u64max |
| PARAM_VALUE | 0 | bo->tbo.ttm | 4096-ptr_max |
| PARAM_VALUE | 1 | map | 6370485984029310976 |
| PARAM_VALUE | 1 | map->is_iomem | 0 |
| PARAM_VALUE | 1 | map->vaddr | 0 |
| PARAM_VALUE | 1 | map->vaddr_iomem | 0 |
| DATA_SOURCE | 0 | bo | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |