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_query_bo_switch_commit()

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.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev_priv->binding_mutex.first_waiter->task->usage.refs.counter s32min-s32max
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->cman 0,4096-u64max
PARAM_VALUE 0 dev_priv->cman->cur s64min-(-4096),4096-s64max
PARAM_VALUE 0 dev_priv->cman->cur->inline_space 1
PARAM_VALUE 0 dev_priv->cman->cur->reserved 0-s64max
PARAM_VALUE 0 dev_priv->cman->cur->size 960
PARAM_VALUE 0 dev_priv->cman->cur_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 dev_priv->cman->cur_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev_priv->cman->dev_priv->cmdbuf_waiters s32min-s32max
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->nranges s32min-s32max
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_io_tlb_mem->dyn_alloc.flags 0-4294967295
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_io_tlb_mem->dyn_alloc.is_hard 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_io_tlb_mem->dyn_alloc.is_lazy 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_io_tlb_mem->dyn_alloc.is_queued 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->dma_io_tlb_mem->dyn_alloc.is_soft 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev_priv->cman->dheaders->size 0-s32max
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_io_tlb_mem->dyn_alloc.flags 0-4294967295
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_io_tlb_mem->dyn_alloc.is_hard 0-1
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_io_tlb_mem->dyn_alloc.is_lazy 0-1
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_io_tlb_mem->dyn_alloc.is_queued 0-1
PARAM_VALUE 0 dev_priv->cman->headers->dev->dma_io_tlb_mem->dyn_alloc.is_soft 0-1
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->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->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.last_query_ctx 0
PARAM_VALUE 0 dev_priv->ctx.needs_post_query_barrier 0
PARAM_VALUE 0 dev_priv->ctx.res_relocations.next->next 4096-ptr_max
PARAM_VALUE 0 dev_priv->ctx.res_relocations.next->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 0 *dev_priv->cman->space_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 sw_context 4096-ptr_max
PARAM_VALUE 1 sw_context->bo_relocations.next->next 4096-ptr_max
PARAM_VALUE 1 sw_context->bo_relocations.prev->next 4096-ptr_max
PARAM_VALUE 1 sw_context->bo_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 1 sw_context->cmd_bounce_size 0,4096-9437184
PARAM_VALUE 1 sw_context->ctx 1255665894879240192
PARAM_VALUE 1 sw_context->ctx->bo_list.next 1255665894879240232
PARAM_VALUE 1 sw_context->ctx->mem_size_left 0-2147483791
PARAM_VALUE 1 sw_context->ctx->merge_dups 1
PARAM_VALUE 1 sw_context->ctx->page_address 0,4096-ptr_max
PARAM_VALUE 1 sw_context->ctx->page_list.next 1255665894879240248
PARAM_VALUE 1 sw_context->ctx->res_mutex 0
PARAM_VALUE 1 sw_context->ctx->resource_list.next 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx->resource_list.next->prev 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx->sw_context 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx->ticket.acquired 0
PARAM_VALUE 1 sw_context->ctx->ticket.contending_lock 0
PARAM_VALUE 1 sw_context->ctx->ticket.dep_map.cpu 0
PARAM_VALUE 1 sw_context->ctx->ticket.dep_map.ip 0
PARAM_VALUE 1 sw_context->ctx->ticket.dep_map.key 0
PARAM_VALUE 1 sw_context->ctx->ticket.dep_map.name 0
PARAM_VALUE 1 sw_context->ctx->ticket.done_acquire 0
PARAM_VALUE 1 sw_context->ctx->ticket.is_wait_die 0
PARAM_VALUE 1 sw_context->ctx->ticket.stamp 0
PARAM_VALUE 1 sw_context->ctx->ticket.task 0
PARAM_VALUE 1 sw_context->ctx->ticket.wounded 0
PARAM_VALUE 1 sw_context->ctx->ticket.ww_class 0
PARAM_VALUE 1 sw_context->ctx_list.next 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx_list.next->next 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx_list.prev 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx_list.prev->next 4096-ptr_max
PARAM_VALUE 1 sw_context->ctx_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 sw_context->dx_ctx_node 0,4096-ptr_max
PARAM_VALUE 1 sw_context->dx_query_ctx 0
PARAM_VALUE 1 sw_context->dx_query_mob 0
PARAM_VALUE 1 sw_context->filp 4096-ptr_max
PARAM_VALUE 1 sw_context->filp->minor 4096-ptr_max
PARAM_VALUE 1 sw_context->last_query_ctx 0
PARAM_VALUE 1 sw_context->needs_post_query_barrier 0
PARAM_VALUE 1 sw_context->res_relocations.next->next 4096-ptr_max
PARAM_VALUE 1 sw_context->res_relocations.next->prev 4096-ptr_max
PARAM_VALUE 1 sw_context->res_relocations.prev->next 4096-ptr_max
PARAM_VALUE 1 sw_context->res_relocations.prev->prev 4096-ptr_max
PARAM_VALUE 1 sw_context->staged_cmd_res.next 4096-ptr_max
PARAM_VALUE 1 sw_context->staged_cmd_res.next->next 4096-ptr_max
PARAM_VALUE 1 sw_context->staged_cmd_res.prev 4096-ptr_max
PARAM_VALUE 1 sw_context->staged_cmd_res.prev->next 4096-ptr_max
PARAM_VALUE 1 sw_context->staged_cmd_res.prev->prev 4096-ptr_max
BUF_SIZE 1 sw_context 33216
BUF_SIZE 1 sw_context->ctx 248
BUF_SIZE 1 sw_context->filp s32min-(-2),1-s32max
BUF_SIZE 1 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->binding_mutex 1
CAPPED_DATA 0 &dev_priv->cmdbuf_mutex 1
DATA_SOURCE 0 dev_priv $1
PARAM_COMPARE 0 &dev_priv->ctx == $1
NOSPEC 0 dev_priv->cman->cur->reserved
NOSPEC 0 dev_priv->cman->cur_pos
MEM_ZERO 1 sw_context->res_cache
NOCHECK_CALL
USER_DATA 0 dev_priv->cman->cur->reserved 0[c]
USER_DATA 0 dev_priv->cman->cur_pos 0-s64max[c][u]
USER_DATA 1 *sw_context->buf_start 0-u32max
USER_DATA 1 *sw_context->cmd_bounce 0-u32max
NO_OVERFLOW_SIMPLE 0 dev_priv->cman->cur->cb_header->length
USER_PTR 1 sw_context->cmd_bounce
LOCK2 0 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex