Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_ctx_process() -> vmw_cmdbuf_ctx_submit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | man | 4096-ptr_max |
| PARAM_VALUE | 0 | man->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | man->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | man->dev_priv->ctx.cmd_bounce_size | 0,4096-9437184 |
| PARAM_VALUE | 0 | man->dev_priv->ctx.ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | man->dev_priv->drm.dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | man->dev_priv->otable_batch.num_otables | 5-6 |
| PARAM_VALUE | 0 | man->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | man->num_contexts | 1-u32max |
| PARAM_VALUE | 1 | ctx | 4096-u64max |
| BUF_SIZE | 0 | man | (-1)-0,256,1272 |
| BUF_SIZE | 0 | man | (-1)-0,256,1272 |
| BUF_SIZE | 0 | man->dheaders | (-1),192 |
| BUF_SIZE | 0 | man->headers | (-1),192 |
| BUF_SIZE | 1 | ctx | (-1),112 |
| BUF_SIZE | 1 | ctx | (-1),112 |
| CAPPED_DATA | 0 | man->num_contexts | 1 |
| DATA_SOURCE | 0 | man | $0 |
| DATA_SOURCE | 1 | ctx | $1 |
| NOSPEC | 0 | man->cur_pos | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | man->dev_priv->capabilities | 16777216-2147483646,2147483648-u32max |
| HOST_DATA | 0 | man->dev_priv->capabilities2 | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->config_done_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags | 0,4-u32max |
| HOST_DATA | 0 | man->dev_priv->enable_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->fb_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->fb_max_width | 0-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->fifo_mem_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->initial_height | 801-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->initial_width | 1281-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->max_gmr_ids | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_gmr_pages | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_mob_pages | 0-1073741823[c] |
| HOST_DATA | 0 | man->dev_priv->max_mob_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_primary_mem | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->memory_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->stdu_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->stdu_max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->texture_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->texture_max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->traces_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->vram_size | 0-u32max |
| USER_DATA | 0 | man->cur->cb_header->length | 0-u32max[c] |
| USER_DATA | 0 | man->cur->reserved | 0[c] |
| USER_DATA | 0 | man->cur_pos | 1-9223372036858970111[c] |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.bdev->pool.dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.resource | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.sg->orig_nents | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->backup | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->cached_rsgt.size | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->dma_address | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->pages | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->sg | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->swap_storage | |
| NO_OVERFLOW_SIMPLE | 0 | man->cur->cb_header->length | |
| NO_OVERFLOW_SIMPLE | 0 | man->cur_pos | |
| NO_OVERFLOW_SIMPLE | 0 | man->dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->dheaders->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | man->dheaders->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | man->headers->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | man->map | |
| NO_OVERFLOW_SIMPLE | 0 | man->size | |
| NO_OVERFLOW_SIMPLE | 0 | man->using_mob | |
| LOCK2 | 0 | &man->lock | |
| HALF_LOCKED2 | 0 | &man->cur_mutex | |
| HALF_LOCKED2 | 0 | &man->error_mutex | |
| HALF_LOCKED2 | 0 | &man->space_mutex | |
| TYPE_LOCK | (struct vmw_cmdbuf_man)->lock |
drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_ctx_process() -> vmw_cmdbuf_ctx_submit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | man | 4096-ptr_max |
| PARAM_VALUE | 0 | man->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | man->ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | man->dev_priv->bdev.dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | man->dev_priv->ctx.cmd_bounce_size | 0,4096-9437184 |
| PARAM_VALUE | 0 | man->dev_priv->ctx.ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | man->dev_priv->drm.dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | man->dev_priv->otable_batch.num_otables | 5-6 |
| PARAM_VALUE | 0 | man->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | man->num_contexts | 1-u32max |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->hw_submitted.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->hw_submitted.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->hw_submitted.prev->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | man | (-1)-0,256,1272 |
| BUF_SIZE | 0 | man | (-1)-0,256,1272 |
| BUF_SIZE | 0 | man->dheaders | (-1),192 |
| BUF_SIZE | 0 | man->headers | (-1),192 |
| BUF_SIZE | 1 | ctx | (-1),112 |
| BUF_SIZE | 1 | ctx | (-1),112 |
| CAPPED_DATA | 0 | man->max_hw_submitted | 1 |
| CAPPED_DATA | 0 | man->num_contexts | 1 |
| CAPPED_DATA | 1 | &ctx->hw_submitted | 1 |
| DATA_SOURCE | 0 | man | $0 |
| DATA_SOURCE | 1 | ctx | $1 |
| NOSPEC | 0 | man->cur_pos | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | man->dev_priv->capabilities | 16777216-2147483646,2147483648-u32max |
| HOST_DATA | 0 | man->dev_priv->capabilities2 | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->config_done_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->drm.mode_config.object_idr.idr_rt.xa_flags | 0,4-u32max |
| HOST_DATA | 0 | man->dev_priv->enable_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->fb_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->fb_max_width | 0-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->fifo_mem_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->initial_height | 801-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->initial_width | 1281-u32max[c] |
| HOST_DATA | 0 | man->dev_priv->max_gmr_ids | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_gmr_pages | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_mob_pages | 0-1073741823[c] |
| HOST_DATA | 0 | man->dev_priv->max_mob_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->max_primary_mem | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->memory_size | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->stdu_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->stdu_max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->texture_max_height | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->texture_max_width | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->traces_state | 0-u32max |
| HOST_DATA | 0 | man->dev_priv->vram_size | 0-u32max |
| USER_DATA | 0 | man->cur->cb_header->length | 0-u32max[c] |
| USER_DATA | 0 | man->cur->reserved | 0[c] |
| USER_DATA | 0 | man->cur_pos | 1-9223372036858970111[c] |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_colorop | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_crtc | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->mode_config.num_total_plane | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.bdev->pool.dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.resource | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.sg->orig_nents | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->backup | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->cached_rsgt.size | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->dma_address | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->pages | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->sg | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm->swap_storage | |
| NO_OVERFLOW_SIMPLE | 0 | man->cur->cb_header->length | |
| NO_OVERFLOW_SIMPLE | 0 | man->cur_pos | |
| NO_OVERFLOW_SIMPLE | 0 | man->dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->dheaders->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | man->dheaders->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | man->headers->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | man->map | |
| NO_OVERFLOW_SIMPLE | 0 | man->size | |
| NO_OVERFLOW_SIMPLE | 0 | man->using_mob | |
| LOCK2 | 0 | &man->lock | |
| HALF_LOCKED2 | 0 | &man->cur_mutex | |
| HALF_LOCKED2 | 0 | &man->error_mutex | |
| HALF_LOCKED2 | 0 | &man->space_mutex | |
| TYPE_LOCK | (struct vmw_cmdbuf_man)->lock |