Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_so.c vmw_view_commit_notify() -> vmw_res_to_srf()

Type Parameter Key Value
LOCK2 &dev_priv->binding_mutex
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->binding_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_so.c vmw_view_create() -> vmw_res_to_srf()

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

drivers/gpu/drm/vmwgfx/vmwgfx_resource.c vmw_user_object_lookup() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &crtc->cursor->mutex
HALF_LOCKED2 &crtc->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_ioctl.c vmw_present_ioctl() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
LOCK2 &dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_dumb_create() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

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

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_gb_surface_destroy() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
DATA_SOURCE 0 res $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.ttm->dma_ttm.sg->orig_nents
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

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

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

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_legacy_srf_dma() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
DATA_SOURCE 0 res $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.ttm->dma_ttm.sg->orig_nents

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_surface_dirty_alloc() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res (-1),152
BUF_SIZE 0 res (-1),152
DATA_SOURCE 0 res $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.base.dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.base.dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.base.dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 res->guest_memory_bo->tbo.base.dev->num_crtcs

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_surface_dirty_range_add() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res (-1),152
BUF_SIZE 0 res (-1),152
DATA_SOURCE 0 res $0
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/vmwgfx/vmwgfx_surface.c vmw_user_surface_free() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res (-1),152
BUF_SIZE 0 res (-1),152
DATA_SOURCE 0 res $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 res->guest_memory_size 0-4294967310[c][u]

drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_cmd_dma() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 1-u64max
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_bo.c vmw_bo_surface() -> vmw_res_to_srf()

Type Parameter Key Value
PARAM_VALUE 0 res 1-u64max
BUF_SIZE 0 res (-1),152
BUF_SIZE 0 res (-1),152
RX_PATH
TASK_NOT_RUNNING
UNITS 0 res unit_byte