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_cmd_begin_query() -> vmw_cmd_begin_gb_query()
| 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->cmdbuf_mutex.wait_lock.raw_lock.val.counter | 0-s32max |
| 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-64 |
| PARAM_VALUE | 0 | dev_priv->ctx.staged_bindings->dirty | 0 |
| 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->has_mob | 1 |
| 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 | 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 | 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-64 |
| PARAM_VALUE | 1 | sw_context->staged_bindings->dirty | 0 |
| 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->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] |
| 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 |
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 |