Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_cmd_check() -> (struct vmw_cmd_entry)->func()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->cman 0,4096-u64max
PARAM_VALUE 0 dev_priv->cman->irq_on 0-1
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev_priv->cmdbuf_mutex.first_waiter->list.prev->prev 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 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->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 1255665894879240200
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 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_bindings->bind_cmd_count 0-4294967295
PARAM_VALUE 0 dev_priv->ctx.staged_bindings->bind_first_slot 0-4294967295
PARAM_VALUE 0 dev_priv->ctx.staged_bindings->dirty 0-s64max
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 sw_context 4096-ptr_max
PARAM_VALUE 1 sw_context->bo_relocations.next 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->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 1255665894879240200
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_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 4096-ptr_max
PARAM_VALUE 1 sw_context->res_relocations.next->next 4096-ptr_max
PARAM_VALUE 1 sw_context->res_relocations.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_bindings->bind_cmd_count 0-4294967295
PARAM_VALUE 1 sw_context->staged_bindings->bind_first_slot 0-4294967295
PARAM_VALUE 1 sw_context->staged_bindings->dirty 0-s64max
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
PARAM_VALUE 2 header 4096-ptr_max
PARAM_VALUE 2 header->size 0-262144
BUF_SIZE 1 sw_context 33216
BUF_SIZE 1 sw_context->buf_start (-1),960,4096-6291456
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,264,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 2 header (-1),960,4096-6291456
BUF_SIZE 2 header (-1),960,4096-6291456
DATA_SOURCE 0 dev_priv $0
DATA_SOURCE 1 sw_context $1
DATA_SOURCE 2 header $2
FUZZY_MAX 2 header->size 262144
HARD_MAX 2 header->size 262144
MEM_ZERO 1 sw_context->res_cache
USER_DATA 1 *sw_context->buf_start 0-u32max
USER_DATA 1 *sw_context->cmd_bounce 0-u32max
USER_DATA 2 header->id 0-u32max[u]
USER_DATA 2 header->size 0-262144[u]
NO_OVERFLOW_SIMPLE 0 dev_priv->cman->headers->allocation
USER_PTR 1 sw_context->buf_start
USER_PTR 1 sw_context->cmd_bounce
USER_PTR 2 header
LOCK2 0 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex