Documented in 1 files:

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_surface.c vmw_surface_init() -> vmw_surface_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->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 5789633868058304512,7977347820108009472
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 0-4294967311
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->res_free 1-u64max
PARAM_VALUE 0 res->used_prio 3
BUF_SIZE 0 res 152
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 res->guest_memory_size 0-4294967310[c][u]

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