Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_cmd.c vmw_cmd_send_fence() -> vmw_fences_update()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &man->error_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_fence_obj_signaled() -> vmw_fences_update()

Type Parameter Key Value
PARAM_VALUE 0 fman 4096-ptr_max
DATA_SOURCE 0 fman r fman_from_fence
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c vmw_execbuf_copy_fence_user() -> vmw_fences_update()

Type Parameter Key Value
RX_PATH
HALF_LOCKED2 &dev_priv->cmdbuf_mutex

drivers/gpu/drm/vmwgfx/vmwgfx_irq.c vmw_seqno_passed() -> vmw_fences_update()

Type Parameter Key Value
BUF_SIZE 0 fman (-1),112
BUF_SIZE 0 fman (-1),112
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 fman->dev_priv->drm.num_crtcs
HALF_LOCKED2 &dev_priv->cmdbuf_mutex
HALF_LOCKED2 &fifo_state->rwsem

drivers/gpu/drm/vmwgfx/vmwgfx_irq.c vmw_thread_fn() -> vmw_fences_update()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL