Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_execbuf_process() -> vmw_execbuf_submit_cmdbuf()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->binding_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->binding_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev_priv->binding_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->binding_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev_priv->binding_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev_priv->cman 4096-u64max
PARAM_VALUE 0 dev_priv->cman->cmd_space->tbo.base._resv.lock.ww_class->is_wait_die 0-1
PARAM_VALUE 0 dev_priv->cman->dev_priv->cmdbuf_waiters s32min-s32max
PARAM_VALUE 0 dev_priv->cman->dev_priv->hw_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->dev_priv->irq_mask 0-4294967295
PARAM_VALUE 0 dev_priv->cman->dev_priv->waiter_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->headers->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->headers->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->headers->dev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev_priv->cman->headers->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev_priv->cman->headers->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->irq_on 0-1
PARAM_VALUE 0 dev_priv->cman->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->space_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->space_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->space_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev_priv->ctx.bo_relocations.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.bo_relocations.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.bo_relocations.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.bo_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.cmd_bounce_size 0,4096-9437184
PARAM_VALUE 0 dev_priv->ctx.ctx 1255665894879240192
PARAM_VALUE 0 dev_priv->ctx.ctx->bo_list.next 1255665894879240232
PARAM_VALUE 0 dev_priv->ctx.ctx->mem_size_left 0-2147483791
PARAM_VALUE 0 dev_priv->ctx.ctx->merge_dups 1
PARAM_VALUE 0 dev_priv->ctx.ctx->page_address 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx->page_list.next 1255665894879240248
PARAM_VALUE 0 dev_priv->ctx.ctx->res_mutex 0
PARAM_VALUE 0 dev_priv->ctx.ctx->resource_list.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx->resource_list.next->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx->sw_context 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.acquired 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.dep_map.cpu 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.dep_map.ip 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.dep_map.key 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.dep_map.name 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.done_acquire 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.is_wait_die 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.stamp 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.task 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.wounded 0
PARAM_VALUE 0 dev_priv->ctx.ctx->ticket.ww_class 0
PARAM_VALUE 0 dev_priv->ctx.ctx_list.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx_list.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx_list.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.ctx_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.dx_query_ctx 0
PARAM_VALUE 0 dev_priv->ctx.dx_query_mob 0
PARAM_VALUE 0 dev_priv->ctx.filp 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.filp->minor 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.kernel 0
PARAM_VALUE 0 dev_priv->ctx.last_query_ctx 0
PARAM_VALUE 0 dev_priv->ctx.needs_post_query_barrier 0
PARAM_VALUE 0 dev_priv->ctx.res_relocations.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_relocations.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_relocations.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_relocations.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.staged_cmd_res.next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.staged_cmd_res.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.staged_cmd_res.prev 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.staged_cmd_res.prev->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.staged_cmd_res.prev->prev 4096-ptr_max
PARAM_VALUE 1 header 4096-ptr_max
PARAM_VALUE 1 header->man s64min-(-1),4096-s64max
PARAM_VALUE 1 header->size 0,960
PARAM_VALUE 2 command_size 0-4194304
PARAM_VALUE 3 sw_context 4096-ptr_max
PARAM_VALUE 3 sw_context->bo_relocations.next 4096-ptr_max
PARAM_VALUE 3 sw_context->bo_relocations.next->next 4096-ptr_max
PARAM_VALUE 3 sw_context->bo_relocations.prev->next 4096-ptr_max
PARAM_VALUE 3 sw_context->bo_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 3 sw_context->cmd_bounce_size 0,4096-9437184
PARAM_VALUE 3 sw_context->ctx 1255665894879240192
PARAM_VALUE 3 sw_context->ctx->bo_list.next 1255665894879240232
PARAM_VALUE 3 sw_context->ctx->mem_size_left 0-2147483791
PARAM_VALUE 3 sw_context->ctx->merge_dups 1
PARAM_VALUE 3 sw_context->ctx->page_address 0,4096-ptr_max
PARAM_VALUE 3 sw_context->ctx->page_list.next 1255665894879240248
PARAM_VALUE 3 sw_context->ctx->res_mutex 0
PARAM_VALUE 3 sw_context->ctx->resource_list.next 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx->resource_list.next->prev 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx->sw_context 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx->ticket.acquired 0
PARAM_VALUE 3 sw_context->ctx->ticket.contending_lock 0
PARAM_VALUE 3 sw_context->ctx->ticket.dep_map.cpu 0
PARAM_VALUE 3 sw_context->ctx->ticket.dep_map.ip 0
PARAM_VALUE 3 sw_context->ctx->ticket.dep_map.key 0
PARAM_VALUE 3 sw_context->ctx->ticket.dep_map.name 0
PARAM_VALUE 3 sw_context->ctx->ticket.done_acquire 0
PARAM_VALUE 3 sw_context->ctx->ticket.is_wait_die 0
PARAM_VALUE 3 sw_context->ctx->ticket.stamp 0
PARAM_VALUE 3 sw_context->ctx->ticket.task 0
PARAM_VALUE 3 sw_context->ctx->ticket.wounded 0
PARAM_VALUE 3 sw_context->ctx->ticket.ww_class 0
PARAM_VALUE 3 sw_context->ctx_list.next 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx_list.next->next 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx_list.prev 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx_list.prev->next 4096-ptr_max
PARAM_VALUE 3 sw_context->ctx_list.prev->prev 4096-ptr_max
PARAM_VALUE 3 sw_context->dx_query_ctx 0
PARAM_VALUE 3 sw_context->dx_query_mob 0
PARAM_VALUE 3 sw_context->filp 4096-ptr_max
PARAM_VALUE 3 sw_context->filp->minor 4096-ptr_max
PARAM_VALUE 3 sw_context->kernel 0
PARAM_VALUE 3 sw_context->last_query_ctx 0
PARAM_VALUE 3 sw_context->needs_post_query_barrier 0
PARAM_VALUE 3 sw_context->res_relocations.next 4096-ptr_max
PARAM_VALUE 3 sw_context->res_relocations.next->next 4096-ptr_max
PARAM_VALUE 3 sw_context->res_relocations.prev 4096-ptr_max
PARAM_VALUE 3 sw_context->res_relocations.prev->next 4096-ptr_max
PARAM_VALUE 3 sw_context->res_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 3 sw_context->staged_cmd_res.next 4096-ptr_max
PARAM_VALUE 3 sw_context->staged_cmd_res.next->next 4096-ptr_max
PARAM_VALUE 3 sw_context->staged_cmd_res.prev 4096-ptr_max
PARAM_VALUE 3 sw_context->staged_cmd_res.prev->next 4096-ptr_max
PARAM_VALUE 3 sw_context->staged_cmd_res.prev->prev 4096-ptr_max
BUF_SIZE 3 sw_context 33216
BUF_SIZE 3 sw_context->ctx 248
BUF_SIZE 3 sw_context->filp s32min-(-2),1-s32max
BUF_SIZE 3 sw_context->fp 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 dev_priv->cman->dheaders->size 1
CAPPED_DATA 0 dev_priv->cman->headers->size 1
CAPPED_DATA 0 &dev_priv->binding_mutex 1
CAPPED_DATA 0 &dev_priv->cmdbuf_mutex 1
CAPPED_DATA 2 command_size 1
DATA_SOURCE 0 dev_priv $1
DATA_SOURCE 2 command_size $4
PARAM_COMPARE 0 &dev_priv->ctx == $3
NOSPEC 2 command_size
HARD_MAX 2 command_size 4194304
MEM_ZERO 3 sw_context->res_cache
USER_DATA 2 command_size 0-4194304[c]
USER_DATA 3 *sw_context->buf_start 0-u32max
USER_DATA 3 *sw_context->cmd_bounce 0-u32max
USER_PTR 3 sw_context->cmd_bounce
LOCK2 0 &dev_priv->binding_mutex
LOCK2 0 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->binding_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex