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/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_reserve_cur() -> vmw_cmdbuf_alloc()
| 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-1 |
| PARAM_VALUE | 0 | man->cur | 0 |
| PARAM_VALUE | 0 | man->cur_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | man->cur_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | man->cur_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | man->cur_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | man->cur_pos | 0-9223372036854775807 |
| PARAM_VALUE | 0 | man->default_size | 0-9223372036854775807 |
| PARAM_VALUE | 0 | man->handle | 0-9223372036854775807 |
| PARAM_VALUE | 0 | man->id | 0-9223372036854775807 |
| PARAM_VALUE | 0 | man->map | 0-9223372036854775807 |
| PARAM_VALUE | 0 | man->size | 0-9223372036854775807 |
| PARAM_VALUE | 2 | interruptible | 0 |
| PARAM_VALUE | 3 | p_header | 4096-ptr_max |
| PARAM_VALUE | 3 | *p_header | 0 |
| BUF_SIZE | 0 | man | (-1)-0,1272 |
| BUF_SIZE | 0 | man | (-1)-0,1272 |
| DATA_SOURCE | 0 | man | $0 |
| DATA_SOURCE | 2 | interruptible | $3 |
| NOSPEC | 1 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | size | 1-u32max |
| 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.resource | |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.ttm | |
| 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->headers->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | man->size | |
| UNITS | 1 | size | unit_byte |
| LOCK2 | 0 | &man->cur_mutex | |
| HALF_LOCKED2 | &dev_priv->binding_mutex | ||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex | ||
| HALF_LOCKED2 | &overlay->mutex | ||
| TYPE_LOCK | (struct vmw_cmdbuf_man)->cur_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c vmw_cmdbuf_send_device_command() -> vmw_cmdbuf_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | man | 4096-ptr_max |
| PARAM_VALUE | 0 | man->cmd_space->tbo.bdev->dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| 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->drm.dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | man->num_contexts | 0-s32max |
| PARAM_VALUE | 1 | size | 12 |
| PARAM_VALUE | 2 | interruptible | 0 |
| PARAM_VALUE | 3 | p_header | 5054946154362884096 |
| BUF_SIZE | 0 | man | (-1)-0,1272 |
| BUF_SIZE | 0 | man | (-1)-0,1272 |
| BUF_SIZE | 0 | man->dheaders | (-1),192 |
| BUF_SIZE | 0 | man->headers | (-1),192 |
| CAPPED_DATA | 0 | man->num_contexts | 1 |
| DATA_SOURCE | 0 | man | $0 |
| DATA_SOURCE | 1 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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.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->last_read_seqno.counter | s32min-s32max |
| HOST_DATA | 0 | man->dev_priv->marker_seq.counter | s32min-s32max |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | man->cmd_space->tbo.base.dev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->cur_pos | |
| NO_OVERFLOW_SIMPLE | 0 | man->dev_priv->drm.num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | man->headers->allocation | |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | 0 | &man->error_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_execbuf_cmdbuf() -> vmw_cmdbuf_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | man | 1-u64max |
| PARAM_VALUE | 1 | size | 512-4194304 |
| PARAM_VALUE | 2 | interruptible | 1 |
| PARAM_VALUE | 3 | p_header | 6538206464587341824 |
| PARAM_VALUE | 3 | *p_header | 0 |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 3 | p_header | $4 |
| USER_DATA | 1 | size | 512-4194303[c] |