Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_context_init() -> vmw_context_init param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->coherent | 0 |
| PARAM_VALUE | 0 | res->dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | res->dev_priv->active_display_unit | 1-3 |
| PARAM_VALUE | 0 | res->dev_priv->cman | 0,4096-u64max |
| PARAM_VALUE | 0 | res->dev_priv->ctx.cmd_bounce_size | 0,4096-9437184 |
| PARAM_VALUE | 0 | res->dev_priv->ctx.ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | res->dev_priv->fifo_mem | 1-u64max |
| PARAM_VALUE | 0 | res->dev_priv->fifo_mem_size | 0-u32max |
| PARAM_VALUE | 0 | res->dev_priv->initial_height | 800-u32max |
| PARAM_VALUE | 0 | res->dev_priv->initial_width | 1280-u32max |
| PARAM_VALUE | 0 | res->dev_priv->map_mode | 0-2 |
| PARAM_VALUE | 0 | res->dev_priv->max_mob_pages | 0-1073741823 |
| PARAM_VALUE | 0 | res->dev_priv->max_primary_mem | 0-u32max |
| PARAM_VALUE | 0 | res->dev_priv->num_irq_vectors | 0-s32max |
| PARAM_VALUE | 0 | res->dev_priv->otable_batch.num_otables | 5-6 |
| PARAM_VALUE | 0 | res->dev_priv->query_cid_valid | 0-1 |
| PARAM_VALUE | 0 | res->dev_priv->resource_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | res->dev_priv->sm_type | 0-4 |
| PARAM_VALUE | 0 | res->dev_priv->suspend_state | 0,4096-u64max |
| PARAM_VALUE | 0 | res->dirty | 0 |
| PARAM_VALUE | 0 | res->func | 3996129421491695616 |
| PARAM_VALUE | 0 | res->func->bind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->func->busy_domain | 1,12,16 |
| PARAM_VALUE | 0 | res->func->clean | 0,3065452078881816576 |
| PARAM_VALUE | 0 | res->func->commit_notify | 0,1682044872431194112,3729810951064047616,4535903217348042752 |
| PARAM_VALUE | 0 | res->func->create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->func->destroy | 0,401417227587854336,1038115698417348608,1432348224792465408,2293511010382663680,4502131126800584704,6265106013210091520 |
| PARAM_VALUE | 0 | res->func->dirty_alloc | 0,8750671606448160768 |
| PARAM_VALUE | 0 | res->func->dirty_free | 0,6026621763090563072 |
| PARAM_VALUE | 0 | res->func->dirty_prio | 0-3 |
| PARAM_VALUE | 0 | res->func->dirty_range_add | 0,8478925847338905600 |
| PARAM_VALUE | 0 | res->func->dirty_sync | 0,3512896785430667264 |
| PARAM_VALUE | 0 | res->func->domain | 1,8,16 |
| PARAM_VALUE | 0 | res->func->prio | 0-1,3 |
| PARAM_VALUE | 0 | res->func->res_type | 0-7 |
| PARAM_VALUE | 0 | res->func->type_name | 4096-ptr_max |
| PARAM_VALUE | 0 | res->func->unbind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->guest_memory_bo | 0 |
| PARAM_VALUE | 0 | res->guest_memory_dirty | 0 |
| PARAM_VALUE | 0 | res->guest_memory_offset | 0 |
| PARAM_VALUE | 0 | res->hw_destroy | 0 |
| PARAM_VALUE | 0 | res->id | (-1) |
| PARAM_VALUE | 0 | res->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | res->lru_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->res_dirty | 0 |
| PARAM_VALUE | 0 | res->used_prio | 3 |
| BUF_SIZE | 0 | res | 152 |
| DATA_SOURCE | 0 | res | $1 |
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_resource.c vmw_resource_release() -> (struct vmw_resource)->res_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PARAM_VALUE | 0 | res->dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | res->dev_priv->res_idr | 4096-ptr_max |
| PARAM_VALUE | 0 | res->dev_priv->resource_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | res->func->unbind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->guest_memory_bo | 0 |
| PARAM_VALUE | 0 | res->lru_head.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->res_free | 1-u64max |
| CONTAINER | 0 | -136+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev_priv->binding_mutex | ||
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_gb_context_init() -> vmw_gb_context_init param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | res | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->binding_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->coherent | 0 |
| PARAM_VALUE | 0 | res->dev_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | res->dev_priv->active_display_unit | 1-3 |
| PARAM_VALUE | 0 | res->dev_priv->cman | 0,4096-u64max |
| PARAM_VALUE | 0 | res->dev_priv->ctx.cmd_bounce_size | 0,4096-9437184 |
| PARAM_VALUE | 0 | res->dev_priv->ctx.ctx | 1255665894879240192 |
| PARAM_VALUE | 0 | res->dev_priv->fifo_mem | 1-u64max |
| PARAM_VALUE | 0 | res->dev_priv->fifo_mem_size | 0-u32max |
| PARAM_VALUE | 0 | res->dev_priv->initial_height | 800-u32max |
| PARAM_VALUE | 0 | res->dev_priv->initial_width | 1280-u32max |
| PARAM_VALUE | 0 | res->dev_priv->map_mode | 0-2 |
| PARAM_VALUE | 0 | res->dev_priv->max_mob_pages | 0-1073741823 |
| PARAM_VALUE | 0 | res->dev_priv->max_primary_mem | 0-u32max |
| PARAM_VALUE | 0 | res->dev_priv->num_irq_vectors | 0-s32max |
| PARAM_VALUE | 0 | res->dev_priv->otable_batch.num_otables | 5-6 |
| PARAM_VALUE | 0 | res->dev_priv->query_cid_valid | 0-1 |
| PARAM_VALUE | 0 | res->dev_priv->sm_type | 0-4 |
| PARAM_VALUE | 0 | res->dev_priv->suspend_state | 0,4096-u64max |
| PARAM_VALUE | 0 | res->dirty | 0 |
| PARAM_VALUE | 0 | res->func | 1959263264537276416,4259228067064877056 |
| PARAM_VALUE | 0 | res->func->bind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->func->busy_domain | 1,12,16 |
| PARAM_VALUE | 0 | res->func->clean | 0,3065452078881816576 |
| PARAM_VALUE | 0 | res->func->commit_notify | 0,1682044872431194112,3729810951064047616,4535903217348042752 |
| PARAM_VALUE | 0 | res->func->create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->func->destroy | 0,401417227587854336,1038115698417348608,1432348224792465408,2293511010382663680,4502131126800584704,6265106013210091520 |
| PARAM_VALUE | 0 | res->func->dirty_alloc | 0,8750671606448160768 |
| PARAM_VALUE | 0 | res->func->dirty_free | 0,6026621763090563072 |
| PARAM_VALUE | 0 | res->func->dirty_prio | 0-3 |
| PARAM_VALUE | 0 | res->func->dirty_range_add | 0,8478925847338905600 |
| PARAM_VALUE | 0 | res->func->dirty_sync | 0,3512896785430667264 |
| PARAM_VALUE | 0 | res->func->domain | 1,8,16 |
| PARAM_VALUE | 0 | res->func->prio | 0-1,3 |
| PARAM_VALUE | 0 | res->func->res_type | 0-7 |
| PARAM_VALUE | 0 | res->func->type_name | 4096-ptr_max |
| PARAM_VALUE | 0 | res->func->unbind | 0,4096-ptr_max |
| PARAM_VALUE | 0 | res->guest_memory_bo | 0 |
| PARAM_VALUE | 0 | res->guest_memory_dirty | 0 |
| PARAM_VALUE | 0 | res->guest_memory_offset | 0 |
| PARAM_VALUE | 0 | res->guest_memory_size | 8192,16448 |
| PARAM_VALUE | 0 | res->hw_destroy | 0 |
| PARAM_VALUE | 0 | res->id | (-1) |
| PARAM_VALUE | 0 | res->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | res->lru_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | res->lru_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | res->res_dirty | 0 |
| PARAM_VALUE | 0 | res->used_prio | 3 |
| BUF_SIZE | 0 | res | 152 |
| DATA_SOURCE | 0 | res | $2 |
| FUZZY_MAX | 0 | res->guest_memory_size | 16448 |
| BIT_INFO | 0 | res->guest_memory_size | 0x0,0x6040 |
| HARD_MAX | 0 | res->guest_memory_size | 16448 |
| NOCHECK_CALL |