Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_add() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
PARAM_VALUE 0 bi->ctx 1-u64max
DATA_SOURCE 0 bi r vmw_binding_loc
NOCHECK_CALL
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_res_list_kill() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
CAPPED_DATA 0 &bi->res_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->binding_mutex
HALF_LOCKED2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->binding_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_state_commit() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
PARAM_VALUE 0 bi->res 0,4096-ptr_max
CAPPED_DATA 0 &bi->ctx_list 1
NOCHECK_CALL
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_state_kill() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
CAPPED_DATA 0 &bi->ctx_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev_priv->binding_mutex
HALF_LOCKED2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->binding_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_state_reset() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
CAPPED_DATA 0 &bi->ctx_list 1
NOCHECK_CALL
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_binding.c vmw_binding_transfer() -> vmw_binding_drop()

Type Parameter Key Value
PARAM_VALUE 0 bi 4096-ptr_max
PARAM_VALUE 0 bi->ctx 1-u64max
NOCHECK_CALL
LOCK2 &dev_priv->cmdbuf_mutex
TYPE_LOCK (struct vmw_private)->cmdbuf_mutex