Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c vmw_overlay_send_put() -> fill_flush()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 1 stream_id 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &overlay->mutex
TYPE_LOCK (struct vmw_overlay)->mutex

drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c vmw_overlay_send_stop() -> fill_flush()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 1 stream_id 0
DATA_SOURCE 1 stream_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &overlay->mutex