Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_shader.c vmw_gb_shader_create() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_pm_freeze() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
PARAM_VALUE 0 dev_priv->num_fifo_resources.counter s32min-(-1),1-s32max
DATA_SOURCE 0 dev_priv r vmw_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_pm_restore() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
DATA_SOURCE 0 dev_priv r vmw_priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_drv.c vmw_probe() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
DATA_SOURCE 0 dev_priv r __devm_drm_dev_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev_priv->capabilities2 0-u32max
HOST_DATA 0 dev_priv->config_done_state 0-u32max
HOST_DATA 0 dev_priv->enable_state 0-u32max
HOST_DATA 0 dev_priv->fb_max_height 0-u32max
HOST_DATA 0 dev_priv->fifo_mem_size 0-u32max
HOST_DATA 0 dev_priv->max_gmr_ids 0-u32max
HOST_DATA 0 dev_priv->max_gmr_pages 0-u32max
HOST_DATA 0 dev_priv->max_mob_pages 0-1073741823[c]
HOST_DATA 0 dev_priv->max_mob_size 0-u32max
HOST_DATA 0 dev_priv->max_primary_mem 0-u32max
HOST_DATA 0 dev_priv->memory_size 0-u32max
HOST_DATA 0 dev_priv->stdu_max_height 0-u32max
HOST_DATA 0 dev_priv->stdu_max_width 0-u32max
HOST_DATA 0 dev_priv->traces_state 0-u32max
HOST_DATA 0 dev_priv->vram_size 0-u32max
NO_OVERFLOW_SIMPLE 0 dev_priv->cman->cmd_space->tbo.base.dev->num_crtcs
NO_OVERFLOW_SIMPLE 0 dev_priv->cman->dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 dev_priv->drm.num_crtcs
NO_OVERFLOW_SIMPLE 0 dev_priv->fman->dev_priv->drm.num_crtcs

drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_context_init() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
DATA_SOURCE 0 dev_priv $0
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_dx_context_create() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_context.c vmw_gb_context_create() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_gb_surface_create() -> vmw_fifo_resource_inc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_legacy_srf_create() -> vmw_fifo_resource_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev_priv 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_mob.c vmw_mob_bind() -> vmw_fifo_resource_inc()

Type Parameter Key Value
DATA_SOURCE 0 dev_priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bo->base.resv